Probabilistic Verification of Discrete Event Systems Using Acceptance Sampling
Abstract elided by the publisher.
Related papers
- Timed Condition/Event Systems: A Framework for Modular Discrete Models of Chemical Plants and Verification of Their Real-Time Discrete Control TACAS 1996
- A probabilistic language based on sampling functions TOPLAS 2008
- DeGAS: Gradient-Based Optimization of Probabilistic Programs without Sampling TACAS 2026
- A probabilistic language based upon sampling functions POPL 2005
- Bit Blasting Probabilistic Programs PLDI 2024
- A Complete Axiomatisation of Equivalence for Discrete Probabilistic Programming ESOP 2025
- Learning Probabilistic Termination Proofs CAV 2021
- Foundations for Deductive Verification of Continuous Probabilistic Programs: From Lebesgue to Riemann and Back OOPSLA 2025