Randomization in Automata on Infinite Trees

DOI10.1145/2629336zbMATH Open1354.68150OpenAlexW1966886635MaRDI QIDQ2946733FDOQ2946733

Arnaud Carayol, Olivier Serre, Axel Haddad

Publication date: 17 September 2015

Published in: ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL: https://hal.inria.fr/hal-01260669/file/CHS13_ACM_ToCL.pdf

zbMATH Keywords

probabilistic automatameasure theoryfinite automata on infinite trees(partial observation) Markov decision processes

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Probabilistic automata
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Probabilistic ω-automata
• On Decision Problems for Probabilistic Büchi Automata
• Measure and integration theory. Transl. from the German by Robert B. Burckel
• Mathematical metaphysics of randomness
• Probability theory. Translated from the German by Robert B. Burckel
• On equivalence of infinite product measures
• Power of Randomization in Automata on Infinite Strings
• Automata on infinite trees with counting constraints
• Probabilistic Weighted Automata

Cited In (8)

• Title not available (Why is that?)
• Measure Quantifier in Monadic Second Order Logic
• Erratum for “Randomization in Automata on Infinite Trees”
• Counting branches in trees using games
• Monadic Second Order Logic with Measure and Category Quantifiers
• Power of Randomization in Automata on Infinite Strings
• Stochastically costed tree automata: Turakainen's theorem
• Baire Category Quantifier in Monadic Second Order Logic

This page was built for publication: Randomization in Automata on Infinite Trees

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