Follow
Alėna Rodionova
Alėna Rodionova
Waabi
Verified email at waabi.ai - Homepage
Title
Cited by
Cited by
Year
Temporal logic as filtering
A Rodionova, E Bartocci, D Nickovic, R Grosu
Proceedings of the 19th International Conference on Hybrid Systems …, 2016
652016
Safe at any speed: A simulation-based test harness for autonomous vehicles
H Abbas, M O’Kelly, A Rodionova, R Mangharam
Cyber Physical Systems. Design, Modeling, and Evaluation: 7th International …, 2019
422019
Time-robust control for STL specifications
A Rodionova, L Lindemann, M Morari, GJ Pappas
2021 60th IEEE Conference on Decision and Control (CDC), 572-579, 2021
232021
How safe is safe enough? Automatic safety constraints boundary estimation for decision-making in automated vehicles
A Rodionova, I Alvarez, MS Elli, F Oboril, J Quast, R Mangharam
2020 IEEE Intelligent Vehicles Symposium (IV), 1457-1464, 2020
222020
Quantitative regular expressions for arrhythmia detection algorithms
H Abbas, A Rodionova, E Bartocci, SA Smolka, R Grosu
Computational Methods in Systems Biology: 15th International Conference …, 2017
212017
Learning-to-fly: Learning-based collision avoidance for scalable urban air mobility
A Rodionova, YV Pant, K Jang, H Abbas, R Mangharam
2020 IEEE 23rd International Conference on Intelligent Transportation …, 2020
182020
Combined left and right temporal robustness for control under stl specifications
A Rodionova, L Lindemann, M Morari, GJ Pappas
IEEE Control Systems Letters 7, 619-624, 2022
172022
Temporal robustness of stochastic signals
L Lindemann, A Rodionova, G Pappas
Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022
172022
Quantitative regular expressions for arrhythmia detection
H Abbas, A Rodionova, K Mamouras, E Bartocci, SA Smolka, R Grosu
IEEE/ACM Transactions on Computational Biology and Bioinformatics 16 (5 …, 2018
172018
Real-time decision policies with predictable performance
H Abbas, R Alur, K Mamouras, R Mangharam, A Rodionova
Proceedings of the IEEE 106 (9), 1593-1615, 2018
152018
A driver’s license test for driverless vehicles
H Abbas, ME O’Kelly, A Rodionova, R Mangharam
Mechanical Engineering 139 (12), S13-S16, 2017
152017
Temporal robustness of temporal logic specifications: Analysis and control design
A Rodionova, L Lindemann, M Morari, G Pappas
ACM Transactions on Embedded Computing Systems 22 (1), 1-44, 2022
122022
FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning
YV Pant, MZ Li, A Rodionova, RA Quaye, H Abbas, MS Ryerson, ...
Transportation Research Part C: Emerging Technologies 130, 103275, 2021
62021
Method and device for determining a configuration for an autonomous vehicle
A Rodionova, I Alvarez
US Patent App. 16/726,276, 2020
52020
Stability of two-layer fluid flow
AV Rodionova, EV Rezanova
Journal of Applied Mechanics and Technical Physics 57, 588-595, 2016
52016
Longwave stability of two-layer fluid flow in the inclined plane
VB Bekezhanova, AV Rodionova
Fluid Dynamics 50, 723-736, 2015
52015
Learning-‘N-Flying: A Learning-Based, Decentralized Mission-Aware UAS Collision Avoidance Scheme
A Rodionova, YV Pant, C Kurtz, K Jang, H Abbas, R Mangharam
ACM Transactions on Cyber-Physical Systems (TCPS) 5 (4), 1-26, 2021
42021
Quantitative regular expressions for monitoring cardiac arrhythmias
H Abbas, R Alur, K Mamouras, R Mangharam, A Rodionova
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
42018
Regular Expressions for Irregular Rhythms
H Abbas, A Rodionova, E Bartocci, SA Smolka, R Grosu
arXiv preprint arXiv:1612.07770, 2016
42016
Learning-to-Fly RL: Reinforcement Learning-based Collision Avoidance for Scalable Urban Air Mobility
K Jang, YV Pant, A Rodionova, R Mangharam
2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC), 1-10, 2020
22020
The system can't perform the operation now. Try again later.
Articles 1–20