Login / Signup
Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments.
Gangyuan Jing
Rüdiger Ehlers
Hadas Kress-Gazit
Published in:
IROS (2013)
Keyphrases
</>
multi agent
control system
computer vision
optimal solution
controller synthesis
real time
real world
artificial intelligence
image sequences
dynamic environments
construction process