Author of the publication

A Continuous-Time Model of an Autonomous Aerial Vehicle to Inform and Validate Formal Verification Methods.

, , , , and . CoRR, (2016)

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

Iterative design for active control of fluid flow., , , and . ECC, page 1434-1439. IEEE, (2001)Application of exploratory modelling to active headrest control.. CDC, page 3936-3941. IEEE, (2003)Accurate 6D Object Pose Estimation and Refinement in Cluttered Scenes., , and . ROBOVIS, page 31-39. SCITEPRESS, (2021)Outliers in bound-based state estimation and identification., and . ISCAS, page 790-793. IEEE, (1993)An agent based framework for adaptive control and decision making of autonomous vehicles., , , , and . ALCOSP, page 310-317. International Federation of Automatic Control, (2010)Frequency domain iterative feedforward/feedback tuning for MIMO ANVC., and . ALCOSP, page 179-184. International Federation of Automatic Control, (2007)Declarative Abstractions for Agent Based Hybrid Control Systems., , , , and . DALT, volume 6619 of Lecture Notes in Computer Science, page 96-111. Springer, (2010)Intuitive Programming with Remotely Instructed Robots inside Future Gloveboxes., , , , and . HRI (Companion), page 209-211. ACM, (2020)A natural language programming solution for executable papers., and . ICCS, volume 4 of Procedia Computer Science, page 678-687. Elsevier, (2011)Reconfigurable Autonomy., , , , , , and . Künstliche Intell., 28 (3): 199-207 (2014)