The following pages link to Randomness for Free (Q3586088):
Displaying 10 items.
- What is decidable about partially observable Markov decision processes with \(\omega\)-regular objectives (Q269509) (← links)
- Probabilistic opacity for Markov decision processes (Q458386) (← links)
- CEGAR for compositional analysis of qualitative properties in Markov decision processes (Q746785) (← links)
- Accurate approximate diagnosis of (controllable) stochastic systems (Q832093) (← links)
- A survey of partial-observation stochastic parity games (Q2248075) (← links)
- POMDPs under probabilistic semantics (Q2344358) (← links)
- Supervisor synthesis of POMDP via automata learning (Q2665148) (← links)
- Graph Games and Reactive Synthesis (Q3176385) (← links)
- (Q5136302) (← links)
- (Q6134270) (← links)
