Author of the publication

Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games.

, , , , and . ADHS, volume 51 of IFAC-PapersOnLine, page 7-12. Elsevier, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Low-Effort Specification Debugging and Analysis., and . SYNT, volume 157 of EPTCS, page 117-133. (2014)Provably correct reactive control from natural language., , , , and . Auton. Robots, 38 (1): 89-105 (2015)Combining neural networks and tree search for task and motion planning in challenging environments., , , and . IROS, page 6059-6066. IEEE, (2017)Dynamics-driven adaptive abstraction for reactive high-level mission and motion planning., , and . ICRA, page 369-376. IEEE, (2015)Unsynthesizable Cores - Minimal Explanations for Unsynthesizable High-Level Robot Behaviors., and . CoRR, (2014)Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control., , , and . IEEE Trans. Robotics, 31 (3): 591-604 (2015)Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations., , and . ICRA, page 4075-4081. IEEE, (2013)Correct high-level robot control from structured English., , , and . ICRA, page 3543-3544. IEEE, (2012)Reactive switching protocols for multi-robot high-level tasks.. IROS, page 336-341. IEEE, (2014)Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae., , , , and . J. Autom. Reason., 63 (4): 1055-1075 (2019)