6 citations · 6 across the 3 of their papers we have counts for
4 papers
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Victoria Tuck, Yash Vardhan Pant, Sanjit A. Seshia +1
Decentralized planning for multi-agent systems, such as fleets of robots in a search-and-rescue operation, is often constrained by limitations on how agents can communicate with ea…
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
Kesav Viswanadha, Francis Indaheng, Justin Wong +5
This paper summarizes our formal approach to testing autonomous vehicles (AVs) in simulation for the IEEE AV Test Challenge. We demonstrate a systematic testing framework leveragin…
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…