91 citations · 216 across the 50 of their papers we have counts for
4 papers · 1 filter
Privacy Preserving Mechanisms for Coordinating Airspace Usage in Advanced Air Mobility
Chinmay Maheshwari, Maria G. Mendoza, Victoria Marie Tuck +5
Advanced Air Mobility (AAM) operations are expected to transform air transportation while challenging current air traffic management practices. By introducing a novel market-based…
PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency
Shaokai Lin, Erling Jellum, Mirco Theile +10
This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs…
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
Yash Vardhan Pant, He Yin, Murat Arcak +1
Urban Air Mobility (UAM), or the scenario where multiple manned and Unmanned Aerial Vehicles (UAVs) carry out various tasks over urban airspaces, is a transportation concept of the…
Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
Daniel J. Fremont, Edward Kim, Yash Vardhan Pant +7
We present a new approach to automated scenario-based testing of the safety of autonomous vehicles, especially those using advanced artificial intelligence-based components, spanni…