Sotabase

Career

· Asst. Professor, Univ. of Waterloo

Publications (55)

Formal Scenario-Based Testing of Autonomous Vehicles: From Simulation to the Real World
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) · 2020
154
cited
Smooth operator: Control using the smooth robustness of temporal logic
Conference on Control Technology and Applications · 2017
142
cited
F1/10: An Open-Source Autonomous Cyber-Physical Platform
arXiv.org · 2019
113
cited
Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives
International Conference on Cyber-Physical Systems · 2018
76
cited
Co-design of Anytime Computation and Robust Control
IEEE Real-Time Systems Symposium · 2015
41
cited
Tech Report: Fly-by-Logic: Control of Multi-Drone Fleets with Temporal Logic Objectives
2018
29
cited
Improving safety in mixed traffic: A learning-based model predictive control for autonomous and human-driven vehicle platooning
Knowledge-Based Systems · 2022
26
cited
AutoPlug: An automotive test-bed for electronic controller unit testing and verification
International Conference on Intelligent Transportation Systems · 2011
23
cited
Learning-based modeling of human-autonomous vehicle interaction for improved safety in mixed-vehicle platooning control
Transportation Research Part C: Emerging Technologies · 2023
19
cited
Addressing the IEEE AV Test Challenge with Scenic and VerifAI
International Conference on Artificial Intelligence Testing · 2021
16
cited
Anytime Computation and Control for Autonomous Systems
IEEE Transactions on Control Systems Technology · 2020
16
cited
Learning-to-Fly: Learning-based Collision Avoidance for Scalable Urban Air Mobility
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC) · 2020
15
cited
Co-design of Control and Planning for Multi-rotor UAVs with Signal Temporal Logic Specifications
American Control Conference · 2020
14
cited
Temporal logic robustness for general signal classes
International Conference on Hybrid Systems: Computation and Control · 2019
14
cited
Enhancing Safety in Mixed Traffic: Learning-Based Modeling and Efficient Control of Autonomous and Human-Driven Vehicles
IEEE transactions on intelligent transportation systems (Print) · 2024
10
cited
Stable Interaction of Autonomous Vehicle Platoons with Human-Driven Vehicles
American Control Conference · 2022
10
cited
DEC-LOS-RRT: Decentralized Path Planning for Multi-robot Systems with Line-of-sight Constrained Communication
Conference on Control Technology and Applications · 2021
8
cited
Power-efficient algorithms for autonomous navigation
International Conference on Crowd Science and Engineering · 2015
7
cited
FADS: A framework for autonomous drone safety using temporal logic-based trajectory planning
2021
6
cited
Peak power reduction in hybrid energy systems with limited load forecasts
American Control Conference · 2014
6
cited
Sotabase
Yash Pant | Researcher Profile | Sotabase | Sotabase