2 citations · 2 across the 3 of their papers we have counts for
3 papers
Experience Filter: Using Past Experiences on Unseen Tasks or Environments
Anil Yildiz, Esen Yel, Anthony L. Corso +3
One of the bottlenecks of training autonomous vehicle (AV) agents is the variability of training environments. Since learning optimal policies for unseen environments is often very…
Model-based Validation as Probabilistic Inference
Harrison Delecki, Anthony Corso, Mykel J. Kochenderfer
Estimating the distribution over failures is a key step in validating autonomous systems. Existing approaches focus on finding failures for a small range of initial conditions or m…
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…