| Temporal logic as filtering A Rodionova, E Bartocci, D Nickovic, R Grosu Proceedings of the 19th International Conference on Hybrid Systems …, 2016 | 65 | 2016 |
| 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 | 43 | 2019 |
| 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 | 23 | 2021 |
| 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 | 22 | 2020 |
| 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 | 20 | 2017 |
| 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 | 18 | 2020 |
| 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 | 17 | 2022 |
| Temporal robustness of stochastic signals L Lindemann, A Rodionova, G Pappas Proceedings of the 25th ACM International Conference on Hybrid Systems …, 2022 | 17 | 2022 |
| 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 | 17 | 2018 |
| 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 | 15 | 2018 |
| A driver’s license test for driverless vehicles H Abbas, ME O’Kelly, A Rodionova, R Mangharam Mechanical Engineering 139 (12), S13-S16, 2017 | 15 | 2017 |
| 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 | 13 | 2022 |
| 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 | 6 | 2021 |
| Method and device for determining a configuration for an autonomous vehicle A Rodionova, I Alvarez US Patent App. 16/726,276, 2020 | 5 | 2020 |
| Longwave stability of two-layer fluid flow in the inclined plane VB Bekezhanova, AV Rodionova Fluid Dynamics 50, 723-736, 2015 | 5 | 2015 |
| 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 | 4 | 2021 |
| Regular Expressions for Irregular Rhythms H Abbas, A Rodionova, E Bartocci, SA Smolka, R Grosu arXiv preprint arXiv:1612.07770, 2016 | 4 | 2016 |
| Stability of two-layer fluid flow AV Rodionova, EV Rezanova Journal of Applied Mechanics and Technical Physics 57, 588-595, 2016 | 4 | 2016 |
| 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 | 3 | 2018 |
| 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 | 2 | 2020 |
Houssam AbbasOregon State University在 oregonstate.edu 的电子邮件经过验证
