Tuesday, 3 March 2015

Synthesis of nonlinear continuous controllers for verifiably correct high-level, reactive behaviors

Jonathan A. DeCastro, Hadas Kress-Gazit<br />Mar 1, 2015; 34:378-394<br />Article



from robot theory http://ift.tt/1wH6GH6

0 comments:

Post a Comment