Convex Language Semantics for Nondeterministic Probabilistic Automata

van Heerdt, G; Hsu, J; Ouaknine, J; Silva, A; (2018) Convex Language Semantics for Nondeterministic Probabilistic Automata. In: Fischer, B and Uustalu, T, (eds.) Theoretical Aspects of Computing – ICTAC 2018. ICTAC 2018. Lecture Notes in Computer Science. (pp. pp. 472-492). Springer: Cham. Green open access

https://ift.tt/2FA9oZb