Specification-Guided Data Aggregation for Semantically Aware Imitation Learning

Ameesh Shah, Jonathan DeCastro, John Gideon +3

Advancements in simulation and formal methods-guided environment sampling have enabled the rigorous evaluation of machine learning models in a number of safety-critical scenarios,…