Author of the publication

Quantitative Regular Expressions for Arrhythmia Detection.

, , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)

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

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)Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility., , , , and . ITSC, page 1-8. IEEE, (2020)How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles., , , , , and . IV, page 1457-1464. IEEE, (2020)Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design., , , and . ACM Trans. Embed. Comput. Syst., 22 (1): 13:1-13:44 (2023)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 . CoRR, (2022)Quantitative Regular Expressions for Arrhythmia Detection., , , , , and . IEEE ACM Trans. Comput. Biol. Bioinform., 16 (5): 1586-1597 (2019)Temporal Robustness of Stochastic Signals., , and . HSCC, page 10:1-10:11. ACM, (2022)