Verification and Control of Turn-Based Probabilistic Real-Time Games.
Marta KwiatkowskaGethin NormanDavid ParkerPublished in: The Art of Modelling Computational Systems (2019)
Keyphrases
- probability distribution
- real time
- bayesian networks
- posterior probability
- conditional probabilities
- control system
- data acquisition
- real time control
- control signals
- probability theory
- robotic systems
- control loop
- control strategy
- game theory
- vision system
- low cost
- reinforcement learning
- probabilistic model
- optimal control
- control method
- game design
- video games
- signature verification