Convex language semantics for nondeterministic probabilistic automata

DOI10.1007/978-3-030-02508-3_25OpenAlexW2806887588MaRDI QIDQ1623161

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

Publication date: 23 November 2018

Full work available at URL: https://arxiv.org/abs/1805.11550

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Related Items (2)

Non-deterministic weighted automata evaluated over Markov chains ⋮ Unnamed Item

This page was built for publication: Convex language semantics for nondeterministic probabilistic automata