Quantitative monitor automata
From MaRDI portal
Publication:1664379
DOI10.1007/978-3-662-53413-7_2zbMath1394.68207OpenAlexW2511247244MaRDI QIDQ1664379
Thomas A. Henzinger, Jan Otop, Krishnendu Chatterjee
Publication date: 27 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-662-53413-7_2
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Quantitative Automata under Probabilistic Semantics, Long-Run Average Behavior of Vector Addition Systems with States, Streamable regular transductions, A theory of monitors, Multi-Dimensional Long-Run Average Problems for Vector Addition Systems with States