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

von Chen, Mingshuai
Veröffentlicht in International Conference on Computer-Aided Verification (34. : 2022 : Haifa) Computer aided verification ; Part 1 (2022)

Learning One-Clock Timed Automata

von An, Jie
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Unbounded-Time Safety Verification of Stochastic Differential Dynamics

von Feng, Shenghua
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

Synthesizing Invariant Barrier Certificates via Difference-of-Convex Programming

von Wang, Qiuye
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

Latticed k-Induction with an Application to Probabilistic Programs

von Batz, Kevin
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 2 (2021)