Towards Efficient Reasoning of Quantum Programs

von Yu, Nengkun
Veröffentlicht in SAS (29. : 2022 : Auckland) Static analysis (2022)

A Probabilistic Logic for Verifying Continuous-time Markov Chains

von Guan, Ji
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)