Alëna Rodionova

23 papers C 1Journal 13Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Combined Left and Right Temporal Robustness for Control Under STL Specifications.
IEEE Control. Syst. Lett.
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023 J jnl
Combined Left and Right Temporal Robustness for Control under STL Specifications.
CoRR
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2023 J jnl
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.
ACM Trans. Embed. Comput. Syst.
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2022 — conf
Temporal Robustness of Stochastic Signals.
HSCC
Lars Lindemann, Alëna Rodionova, George J. Pappas
2022 J jnl
Temporal Robustness of Stochastic Signals.
CoRR
Lars Lindemann, Alëna Rodionova, George J. Pappas
2022 J jnl
Temporal Robustness of Temporal Logic Specifications: Analysis and Control Design.
CoRR
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021 J jnl
Learning-'N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme.
ACM Trans. Cyber Phys. Syst.
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021 J jnl
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme.
CoRR
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2021 — conf
Time-Robust Control for STL Specifications.
CDC
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2021 J jnl
Time-Robust Control for STL Specifications.
CoRR
Alëna Rodionova, Lars Lindemann, Manfred Morari, George J. Pappas
2020 C conf
How safe is safe enough? Automatic Safety Constraints Boundary Estimation for Decision-Making in Automated Vehicles.
IV
Alëna Rodionova, Ignacio J. Alvarez, Maria Soledad Elli, Fabian Oboril, Johannes Quast, Rahul Mangharam
2020 — conf
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
ITSC
Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2020 J jnl
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility.
CoRR
Alëna Rodionova, Yash Vardhan Pant, Kuk Jin Jang, Houssam Abbas, Rahul Mangharam
2019 J jnl
Quantitative Regular Expressions for Arrhythmia Detection.
IEEE ACM Trans. Comput. Biol. Bioinform.
Houssam Abbas, Alëna Rodionova, Konstantinos Mamouras, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2018 — conf
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias.
MT@CPSWeek
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2018 J jnl
Real-Time Decision Policies With Predictable Performance.
Proc. IEEE
Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova
2017 — conf
An Autonomous Vehicle Control Stack.
ARCH@CPSWeek
Alëna Rodionova, Matthew O'Kelly, Houssam Abbas, Vincent Pacelli, Rahul Mangharam
2017 — conf
Quantitative Regular Expressions for Arrhythmia Detection Algorithms.
CMSB
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2017 — conf
Safe At Any Speed: A Simulation-Based Test Harness for Autonomous Vehicles.
CyPhy
Houssam Abbas, Matthew O'Kelly, Alëna Rodionova, Rahul Mangharam
2017 — ch.
Temporal Logic as Filtering.
Dependable Software Systems Engineering
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2016 J jnl
Regular Expressions for Irregular Rhythms.
CoRR
Houssam Abbas, Alëna Rodionova, Ezio Bartocci, Scott A. Smolka, Radu Grosu
2016 — conf
Temporal Logic as Filtering.
HSCC
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu
2015 J jnl
Temporal Logic as Filtering.
CoRR
Alëna Rodionova, Ezio Bartocci, Dejan Nickovic, Radu Grosu