Pages that link to "Item:Q5458366"
From MaRDI portal
The following pages link to On Decision Problems for Probabilistic Büchi Automata (Q5458366):
Displaying 20 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Recurrence and transience for finite probabilistic tables (Q631776) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Randomness for free (Q897644) (← links)
- Reachability analysis of quantum Markov decision processes (Q1627964) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Decidable and expressive classes of probabilistic automata (Q1740668) (← links)
- Model checking hyperproperties for Markov decision processes (Q2105474) (← links)
- Ambiguity, weakness, and regularity in probabilistic Büchi automata (Q2200844) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Randomization in Automata on Infinite Trees (Q2946733) (← links)
- Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds (Q3075473) (← links)
- The Effect of Tossing Coins in Omega-Automata (Q3184662) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)
- Probabilistic Acceptors for Languages over Infinite Words (Q3599062) (← links)
- Weighted versus Probabilistic Logics (Q3637211) (← links)
- Model Checking Linear-Time Properties of Probabilistic Systems (Q5072555) (← links)
- Partial-Observation Stochastic Games (Q5169972) (← links)
- Power of Randomization in Automata on Infinite Strings (Q5895118) (← links)
