1 citations · 1 across the 3 of their papers we have counts for
3 papers
Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System
Alessandro Pinto, Anthony Corso, Edward Schmerling
We apply a compositional formal modeling and verification method to an autonomous aircraft taxi system. We provide insights into the modeling approach and we identify several resea…
Real-Time Stochastic Kinodynamic Motion Planning via Multiobjective Search on GPUs
Brian Ichter, Edward Schmerling, Ali-akbar Agha-mohammadi +1
In this paper we present the PUMP (Parallel Uncertainty-aware Multiobjective Planning) algorithm for addressing the stochastic kinodynamic motion planning problem, whereby one seek…
Optimal Sampling-Based Motion Planning under Differential Constraints: the Driftless Case
Edward Schmerling, Lucas Janson, Marco Pavone
Motion planning under differential constraints is a classic problem in robotics. To date, the state of the art is represented by sampling-based techniques, with the Rapidly-explori…