Probabilistic automata and probabilistic logic

DOI10.1007/978-3-642-32589-2_70MaRDI QIDQ2912781zbMATH OpenOpenAlexFDO

Authors Thomas Weidner

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

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Probability and inductive logic (03B48) Automata and formal grammars in connection with logical questions (03D05) Formal languages and automata (68Q45)

Recommendations

• Probabilistic automata on infinite words: decidability and undecidability results
• Probabilistic automata over infinite words: expressiveness, efficiency, and decidability
• Probabilistic regular expressions and MSO logic on finite trees
• Decidable problems for probabilistic automata on infinite words
• Probabilistic Weighted Automata

Cited in

(8)

• Decomposition and factorization of chemical reaction transducers
• Probabilistic Automata for Safety LTL Specifications
• scientific article; zbMATH DE number 1836414 (Why is no real title available?)
• Probabilistic asynchronous automata
• Quantitative Verification of Stochastic Regular Expressions
• Probabilistic regular expressions and MSO logic on finite trees
• Probabilistic ω-automata
• Probabilism versus Alternation for Automata

This page was built for publication: Probabilistic automata and probabilistic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2912781)