Quantitative Automata under Probabilistic Semantics

DOI10.1145/2933575.2933588zbMath1401.68155arXiv1604.06764MaRDI QIDQ4635863

Krishnendu Chatterjee, Thomas A. Henzinger, Jan Otop

Publication date: 23 April 2018

Published in: Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

zbMATH Keywords

distribution; Markov chains; probability; expected value; weighted automata; probabilistic semantics; nested weighted automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q55: Semantics in the theory of computing

03B25: Decidability of theories and sets of sentences

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• PRISM