Track papers across labs, topics, and trends.
Search papers, labs, and topics across Lattice.
Affiliation:
2
0
2
1
Achieving optimal outcomes in probabilistic programs is now possible with a novel framework that synthesizes strategies across multiple objectives simultaneously.
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.