Probabilistic Automata and Probabilistic Logic
From MaRDI portal
Publication:2912781
DOI10.1007/978-3-642-32589-2_70zbMath1365.03027OpenAlexW102227657MaRDI QIDQ2912781
Publication date: 25 September 2012
Published in: Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-32589-2_70
Formal languages and automata (68Q45) Probability and inductive logic (03B48) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25)
Related Items (2)
Decomposition and factorization of chemical reaction transducers ⋮ Quantitative Verification of Stochastic Regular Expressions
This page was built for publication: Probabilistic Automata and Probabilistic Logic
