The following pages link to (Q4411831):
Displaying 6 items.
- The well-designed logical robot: learning and experience from observations to the Situation Calculus (Q543604) (← links)
- When are stochastic transition systems tameable? (Q1648646) (← links)
- The complexity of synchronizing Markov decision processes (Q1740670) (← links)
- Bounds for synchronizing Markov decision processes (Q2097220) (← links)
- The probability nesting game (Q2842598) (← links)
- Exogenous Probabilistic Computation Tree Logic (Q2870286) (← links)