Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking.

Linus Heck, Filip Mack, Milan Ceska, Sebastian Junges

Browse the full AAAI paper archive.