Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
1805.11550.pdf (Preprint), 391KB
van Heerdt, G., Hsu, J., Ouaknine, J., & Silva, A. (2018). Convex Language Semantics for Nondeterministic Probabilistic Automata. In B. Fischer, & T. Uustalu (Eds.), Theoretical Aspects of Computing - ICTAC 2018 (pp. 472-492). Berlin: Springer. doi:10.1007/978-3-030-02508-3_25.