Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1
1. Verfasser:	Chen, Mingshuai (VerfasserIn)
Weitere Verfasser:	Katoen, Joost-Pieter (VerfasserIn), Klinkenberg, Lutz (VerfasserIn), Winkler, Tobias (VerfasserIn)
Pages:	1
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	2022
Schlagworte:
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Bestellen

Titel	Jahr	Verfasser
A Billion SMT Queries a Day (Invited Paper)	2022	Rungta, Neha
Does a Program Yield the Right Distribution? Verifying Probabilistic Programs via Generating Functions	2022	Chen, Mingshuai
Shared Certificates for Neural Network Verification	2022	Fischer, Marc
The Lattice-Theoretic Essence of Property Directed Reachability Analysis	2022	Kori, Mayuko
Affine Loop Invariant Generation via Matrix Algebra	2022	Ji, Yucheng
Proof-Guided Underapproxzimation Widening for Bounded Model Checking	2022	Chatterjee, Prantik
SolCMC: Solidity Compiler’s Model Checker	2022	Alt, Leonardo
PoS4MPC: Automated Security Policy Synthesis for Secure Multi-party Computation	2022	Fan, Yuxin
Distilling Constraints in Zero-Knowledge Protocols	2022	Albert, Elvira
Sound and Complete Certificates for Quantitative Termination Analysis of Probabilistic Programs	2022	Chatterjee, Krishnendu
Abstraction-Refinement for Hierarchical Probabilistic Models	2022	Junges, Sebastian
Data-driven Numerical Invarıant Synthesis with Automatic Generation of Attriıbutes	2022	Bouajjani, Ahmed
Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement	2022	Bak, Stanley
Verifying Neural Networks Against Backdoor Attacks	2022	Pham, Long H.
Example Guided Synthesis of Linear Approximations for Neural Network Verification	2022	Paulsen, Brandon
Neural Network Robustness as a Verification Property: A Principled Case Study	2022	Casadio, Marco
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption	2022	Banno, Ryotaro
Data-Driven Invariant Learning for Probabilistic Programs	2022	Bao, Jialu
Program Verification with Constrained Horn Clauses (Invited Paper)	2022	Gurfinkel, Arie
TRAINIFY: A CEGAR-Driven Training and Verification Framework for Safe Deep Reinforcement Learning	2022	Jin, Peng

Alle Artikel auflisten