FOCS Lab
@ NUS
FOCS Lab
@ NUS
People
Projects
Publications
Research Support
IndiCS 2026
Light
Dark
Automatic
Matthew S. Bauer
Latest
Exact Quantitative Probabilistic Model Checking Through Rational Search
Exact Quantitative Probabilistic Model Checking Through Rational Search
Cite
×