New article: Synthesis of Nonlinear Continuous Controllers for Verifiably Correct High-level, Reactive Behaviors
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