Learning and planning with logical automata
Abstract We introduce a method to learn policies from expert demonstrations that are interpretable and manipulable. We achieve interpretability by modeling the interactions between high-level actions as an automaton with connections to formal logic. We achieve manipulability by integr...
Main Authors: | Araki, Brandon, Vodrahalli, Kiran, Leech, Thomas, Vasile, Cristian-Ioan, Donahue, Mark, Rus, Daniela |
---|---|
Other Authors: | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory |
Format: | Article |
Language: | English |
Published: |
Springer US
2021
|
Online Access: | https://hdl.handle.net/1721.1/138132 |
Similar Items
-
Learning to Plan with Logical Automata
by: Araki, Brandon, et al.
Published: (2019) -
Deep Bayesian Nonparametric Learning of Rules and Plans from Demonstrations with a Learned Automaton Prior
by: Araki, Brandon, et al.
Published: (2021) -
Learning an Explainable Trajectory Generator Using the Automaton Generative Network (AGN)
by: Li, Xiao, et al.
Published: (2022) -
Minimum-violation scLTL motion planning for mobility-on-demand
by: Tumova, Jana, et al.
Published: (2018) -
Multi-Vehicle Motion Planning for Social Optimal Mobility-on-Demand
by: Karlsson, Jesper, et al.
Published: (2018)