Pages that link to "Item:Q3587465"
From MaRDI portal
The following pages link to Probabilistic Automata on Finite Words: Decidable and Undecidable Problems (Q3587465):
Displaying 36 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- Profinite techniques for probabilistic automata and the Markov monoid algorithm (Q529062) (← links)
- Recurrence and transience for finite probabilistic tables (Q631776) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Decidable and expressive classes of probabilistic automata (Q1740668) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Probabilistic automata of bounded ambiguity (Q2064517) (← links)
- Bisimulation metrics and norms for real-weighted automata (Q2064519) (← links)
- On eventual non-negativity and positivity for the weighted sum of powers of matrices (Q2104554) (← links)
- Polynomially ambiguous probabilistic automata on restricted languages (Q2121470) (← links)
- Controlling a random population (Q2200817) (← links)
- Ambiguity, weakness, and regularity in probabilistic Büchi automata (Q2200844) (← links)
- Diagnosis and degradation control for probabilistic systems (Q2220350) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Deciding Maxmin Reachability in Half-Blind Stochastic Games (Q2819447) (← links)
- Stochastization of Weighted Automata (Q2946327) (← links)
- Emptiness Under Isolation and the Value Problem for Hierarchical Probabilistic Automata (Q2988371) (← links)
- (Q5002806) (← links)
- (Q5028432) (← links)
- (Q5028436) (← links)
- (Q5079737) (← links)
- Decidability of Cutpoint Isolation for Probabilistic Finite Automata on Letter-Bounded Inputs. (Q5089287) (← links)
- (Q5089308) (← links)
- (Q5094125) (← links)
- Undecidable Problems for Probabilistic Network Programming (Q5111285) (← links)
- (Q5111624) (← links)
- Probabilistic Automata of Bounded Ambiguity (Q5111632) (← links)
- (Q5129945) (← links)
- (Q5136302) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- (Q5227517) (← links)
- Measure Quantifier in Monadic Second Order Logic (Q5283434) (← links)
- Decision Questions for Probabilistic Automata on Small Alphabets (Q6137871) (← links)
