Showing eess.SYShow all
2 papers · 1 filter
eess.SY2026
Time-To-Reach Separation and Safety Filtering for Safe, Fair, and Efficient Multi-Agent Coordination
Matthew Low, Jasmine Jerry Aloor, Victoria Marie Tuck +2
Advanced Air Mobility (AAM) operations are expected to significantly increase aerial traffic in urban airspace, requiring autonomous traffic management systems to ensure collision-…
eess.SY2024
Compositional Planning for Logically Constrained Multi-Agent Markov Decision Processes
Krishna C. Kalagarla, Matthew Low, Rahul Jain +2
Designing control policies for large, distributed systems is challenging, especially in the context of critical, temporal logic based specifications (e.g., safety) that must be met…