A Probabilistic Kleene Theorem

DOI10.1007/978-3-642-33386-6_31zbMath1374.68253OpenAlexW195446430MaRDI QIDQ4649311

Benjamin Monmege, Benedikt Bollig, Paul Gastin, Marc Zeitoun

Publication date: 21 November 2012

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33386-6_31

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items

Weighted synchronous automata, Quantitative Verification of Stochastic Regular Expressions