Certifying on Probabilistic Program?

Presenter: Bohan Ma

Author: Nils Froleyks et al.; Krishnendu Chatterjee et al.

Abstract: Discuss the motivation and feasibility of transferring the witness method from CAV'25 to probabilistic programs.

URL:

• https://link.springer.com/chapter/10.1007/978-3-031-98668-0_14
• https://link.springer.com/chapter/10.1007/978-3-031-90653-4_7