Author of the publication

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

Learning from Demonstrations with High-Level Side Information., , and . IJCAI, page 3055-3061. ijcai.org, (2017)Compact Midwave Imaging System: Results from an Airborne Demonstration., , , , , and . Remote. Sens., 14 (4): 834 (2022)Collaborative system identification via parameter consensus., , and . ACC, page 13-19. IEEE, (2014)Constrained autonomous satellite docking via differential flatness and model predictive control., , , and . CDC, page 3306-3311. IEEE, (2016)Automata theory meets approximate dynamic programming: Optimal control with temporal logic constraints., , , and . CDC, page 434-440. IEEE, (2016)Formal Verification of Neural Network Controllers for Collision-Free Flight., , , , , , , and . VSTTE, volume 13124 of Lecture Notes in Computer Science, page 147-164. Springer, (2021)Sampling-based Approximate Optimal Control Under Temporal Logic Constraints., , and . HSCC, page 227-235. ACM, (2017)Incorrect by Construction: Fine Tuning Neural Networks for Guaranteed Performance on Finite Sets of Examples., , , , , and . CoRR, (2020)Inverse Optimal Control with Regular Language Specifications., , and . ACC, page 770-777. IEEE, (2018)A Safety Fallback Controller for Improved Collision Avoidance., , , , , , , , and . ICAA, page 129-136. IEEE, (2023)