Search papers, labs, and topics across Lattice.
RWTH Aachen University
3
0
1
A novel framework allows for runtime analysis of quantum programs without upper bounds, transforming how we verify quantum computations with rewards.
Storm's decade-long development now offers a powerful, Python-integrated environment for probabilistic model checking, making it easier than ever to analyze Markov decision processes and models with uncertainty.
A single program transformation unlocks a unified approach to analyze diverse objectives on probabilistic programs, including higher moments and threshold probabilities, using existing wp-reasoning techniques.
