Alëna Rodionova

According to our database, Alëna Rodionova authored at least 16 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

ACM Trans. Embed. Comput. Syst., 2023

Combined Left and Right Temporal Robustness for Control Under STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

IEEE Control. Syst. Lett., 2023

2022

Temporal Robustness of Stochastic Signals.

Lars Lindemann, Alëna Rodionova, George J. Pappas

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.

Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam

ACM Trans. Cyber Phys. Syst., 2021

Time-Robust Control for STL Specifications.

Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas

Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

2020

How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles.

Alëna Rodionova, Ignacio J. Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, Rahul Mangharam

Proceedings of the IEEE Intelligent Vehicles Symposium, 2020

Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.

Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam

Proceedings of the 23rd IEEE International Conference on Intelligent Transportation Systems, 2020

2019

Quantitative Regular Expressions for Arrhythmia Detection.

Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu

IEEE ACM Trans. Comput. Biol. Bioinform., 2019

2018

Real-Time Decision Policies With Predictable Performance.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proc. IEEE, 2018

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.

Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova

Proceedings of the 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, 2018

2017

Temporal Logic as Filtering.

Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the Dependable Software Systems Engineering, 2017

Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.

Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam

Proceedings of the Cyber Physical Systems. Design, Modeling, and Evaluation, 2017

An Autonomous Vehicle Control Stack.

Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

Quantitative Regular Expressions for Arrhythmia Detection Algorithms.

Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu

Proceedings of the Computational Methods in Systems Biology, 2017

2016

Regular Expressions for Irregular Rhythms.

Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu

CoRR, 2016

Temporal Logic as Filtering.

Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016