Convex Language Semantics for Nondeterministic Probabilistic Automata

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Gerco van Heerdt, Justin Hsu, Joël Ouaknine, Alexandra Silva

Journal title: Theoretical Aspects of Computing – ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16–19, 2018, Proceedings

Journal number: 11187

Journal publisher: Springer International Publishing

Published year: 2018

Published pages: 472-492

DOI identifier: 10.1007/978-3-030-02508-3_25

ISBN: 978-3-030-02507-6