Fair Planning for Mobility-on-Demand with Temporal Logic Requests
Automata
When to Terminate: Path-non Existence Verification Improves Sampling-based Motion Planning
Automata-based Optimal Planning with Relaxed Specifications
Learning An Explainable Trajectory Generator Using The Automaton Generative Network (AGN)
Reactive Sampling-Based Path Planning with Temporal Logic Specifications
Learning and Planning with Logical Automata
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, and Daniela Rus. Deep Bayesian Non-parametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior. In AAAI Conference on Artificial Intellifence, New York, NY, USA, July 2020.
Learning to Plan with Logical Automata
Brandon Araki, Kiran Vodrahalli, Cristian Ioan Vasile, and Daniela Rus. Learning to Plan with Logical Automata. In Infer to Control, Workshop on Probabilistic Reinforcement Learning and Structured Control (Infer2Control), NIPS, page Poster, Montreal, Canada, December 2018. link.
Learning to Plan with Logical Automata
Brandon Araki, Kiran Vodrahalli, Thomas Leech, Cristian Ioan Vasile, Mark Donahue, and Daniela Rus. Learning to Plan with Logical Automata. In Robotics: Science and Systems Conference (RSS), pages 1–9, Messe Freiburg, Germany, June 2019. link.
Time Window Temporal Logic
Cristian-Ioan Vasile, Derya Aksaray, and Calin Belta. Time Window Temporal Logic. Theoretical Computer Science, 691(Supplement C), pages 27–54, August 2017. doi:10.1016/j.tcs.2017.07.012.
