Login / Signup
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis.
Maryam Kamgarpour
Jerry Ding
Sean Summers
Alessandro Abate
John Lygeros
Claire J. Tomlin
Published in:
CDC/ECC (2011)
Keyphrases
</>
controller synthesis
markov processes
autonomic computing systems
optimal control problems
multi agent
neural network
markov chain
closed loop
control system
model checking
optimal control
reinforcement learning
control scheme