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-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme., , , , , and . ACM Trans. Cyber Phys. Syst., 5 (4): 35:1-35:26 (2021)Real-Time Decision Policies With Predictable Performance., , , , and . Proc. IEEE, 106 (9): 1593-1615 (2018)Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design., , , and . ACM Trans. Embed. Comput. Syst., 22 (1): 13:1-13:44 (2023)Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias., , , , and . MT@CPSWeek, page 1-2. IEEE, (2018)Combined Left and Right Temporal Robustness for Control under STL Specifications., , , and . CoRR, (2023)How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles., , , , , and . IV, page 1457-1464. IEEE, (2020)Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility., , , , and . ITSC, page 1-8. IEEE, (2020)Quantitative Regular Expressions for Arrhythmia Detection., , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design., , , and . CoRR, (2022)Temporal Robustness of Stochastic Signals., , and . HSCC, page 10:1-10:11. ACM, (2022)