Autonomous Car
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Learning A Risk-Aware Trajectory Planner From Demonstrations Using Logic Monitor
Differentiable Logic Layer for Rule Guided Trajectory Prediction
A Control Architecture for Provably-Correct Autonomous Driving
Learning An Explainable Trajectory Generator Using The Automaton Generative Network (AGN)
Vehicle Trajectory Prediction Using Generative Adversarial Network With Temporal Logic Syntax Tree Features
Counterexample-Guided Safety Contracts for Autonomous Driving
Jonathan A. DeCastro, Lucas Liebenwein, Cristian Ioan Vasile, Russ Tedrake, Sertac Karaman, and Daniela Rus. Counterexample-Guided Safety Contracts for Autonomous Driving. In Workshop on the Algorithmic Foundations of Robotics (WAFR), pages 1–16, Merida, Mexico, December 2018. link.
Compositional and Contract-based Verification for Autonomous Driving on Road Networks
Lucas Liebenwein, Wilko Schwarting, Cristian-Ioan Vasile, Jonathan DeCastro, Javier Alonso-Mora, Sertac Karaman, and Daniela Rus. Compositional and Contract-based Verification for Autonomous Driving on Road Networks. In International Symposium on Robotics Research (ISRR), Puerto Varas, Chile, December 2017.
