Probabilistic automata on finite words: decidable and undecidable problems
From MaRDI portal
Recommendations
Cited in
(64)- Undecidable problems for probabilistic automata of fixed dimension
- Reachability analysis of quantum Markov decision processes
- Irregular behaviours for probabilistic automata
- Decidable and expressive classes of probabilistic automata
- The complexity of synchronizing Markov decision processes
- Probabilistic automata of bounded ambiguity
- Bisimulation metrics and norms for real-weighted automata
- On eventual non-negativity and positivity for the weighted sum of powers of matrices
- Polynomially ambiguous probabilistic automata on restricted languages
- Emptiness problems for distributed automata
- Controlling a random population
- Ambiguity, weakness, and regularity in probabilistic Büchi automata
- Diagnosis and degradation control for probabilistic systems
- A survey of partial-observation stochastic parity games
- POMDPs under probabilistic semantics
- When are emptiness and containment decidable for probabilistic automata?
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives
- Distributed synthesis in continuous time
- Deciding maxmin reachability in half-blind stochastic games
- Probabilistic automata with isolated cut-points
- Two recursively inseparable problems for probabilistic automata
- Deciding the value 1 problem for probabilistic leaktight automata
- Stochastization of weighted automata
- Decidable problems for probabilistic automata on infinite words
- Deciding the value 1 problem for probabilistic leaktight automata
- Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata
- Infinite Synchronizing Words for Probabilistic Automata
- Probabilistic opacity for Markov decision processes
- On regularity of unary probabilistic automata
- Characterisation of an algebraic algorithm for probabilistic automata
- Decision problems for probabilistic finite automata on bounded languages
- Probabilistic automata on infinite words: decidability and undecidability results
- Profinite techniques for probabilistic automata
- When is containment decidable for probabilistic automata?
- Controlling a random population
- A probabilistic higher-order fixpoint logic
- Approximating probabilistic automata by regular languages
- Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs.
- The big-O problem for labelled Markov chains and weighted automata
- The big-O problem
- Undecidable Problems for Probabilistic Network Programming
- Emptiness of zero automata is decidable
- Controlling a population
- Probabilistic automata of bounded ambiguity
- On the termination problem for probabilistic higher-order recursive programs
- Probabilistic disclosure: maximisation vs. minimisation
- Partial-observation stochastic games, how to win when belief fails
- scientific article; zbMATH DE number 7089067 (Why is no real title available?)
- Measure quantifier in monadic second order logic
- Profinite techniques for probabilistic automata and the Markov monoid algorithm
- Artin’s Conjecture and Size of Finite Probabilistic Automata
- On Decision Problems for Probabilistic Büchi Automata
- Recurrence and transience for finite probabilistic tables
- The complexity of probabilistic versus deterministic finite automata
- The boundedness and zero isolation problems for weighted automata over nonnegative rationals
- Process symmetry in probabilistic transducers
- A probabilistic higher-order fixpoint logic
- A PSPACE algorithm for almost-sure rabin objectives in multi-environment MDPs
- Undecidability in physics: a review
- A framework for belief-based programs and their verification
- Resolving nondeterminism with randomness
- Probabilistic finite automaton emptiness is undecidable for a fixed automaton
- Resolving nondeterminism by chance
- Chance and mass interpretations of probabilities in Markov decision processes
This page was built for publication: Probabilistic automata on finite words: decidable and undecidable problems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3587465)
