Convex Language Semantics for Nondeterministic Probabilistic Automata.

Gerco van Heerdt, Justin Hsu, Jol Ouaknine, Alexandra Silva

Browse the full ICTAC paper archive.