Article:  DeCastro, JA; Kress-Gazit, H; (2015)  “Synthesis of Nonlinear Continuous Controllers for Verifiably Correct High-level, Reactive Behaviors”, International Journal of Robotics Research, 34(3):378-394 DOI Abstract:  Planning robotic missions in environments shared by humans involves ...
Read More