Verification and Control of Turn-Based Probabilistic Real-Time Games.

Marta Kwiatkowska Gethin Norman David Parker

Published in: CoRR (2019)

Keyphrases

real time
control system
real time control
data acquisition
control loop
probabilistic model
model checking
control signals
nash equilibrium
generative model
low cost
bayesian networks
uncertain data
vision system
game design
nash equilibria
high speed
situational awareness