45 citations · 45 across the 5 of their papers we have counts for
5 papers
Combined Left and Right Temporal Robustness for Control under STL Specifications
Alëna Rodionova, Lars Lindemann, Manfred Morari +1
Many modern autonomous systems, particularly multi-agent systems, are time-critical and need to be robust against timing uncertainties. Previous works have studied left and right t…
Learning-'N-Flying: A Learning-based, Decentralized Mission Aware UAS Collision Avoidance Scheme
Alëna Rodionova, Yash Vardhan Pant, Connor Kurtz +3
Urban Air Mobility, the scenario where hundreds of manned and Unmanned Aircraft System (UAS) carry out a wide variety of missions (e.g. moving humans and goods within the city), is…
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
Alëna Rodionova, Yash Vardhan Pant, Kuk Jang +2
With increasing urban population, there is global interest in Urban Air Mobility (UAM), where hundreds of autonomous Unmanned Aircraft Systems (UAS) execute missions in the airspac…
Quantitative Regular Expressions for Arrhythmia Detection Algorithms
Houssam Abbas, Alena Rodionova, Ezio Bartocci +2
Motivated by the problem of verifying the correctness of arrhythmia-detection algorithms, we present a formalization of these algorithms in the language of Quantitative Regular Exp…
Temporal Logic as Filtering
Alena Rodionova, Ezio Bartocci, Dejan Nickovic +1
We show that metric temporal logic can be viewed as linear time-invariant filtering, by interpreting addition, multiplication, and their neutral elements, over the (max,min,0,1) id…