v1v2 (latest)

On the Minimal Revision Problem of Specification Automata

8 April 2014

Papers citing "On the Minimal Revision Problem of Specification Automata"

2 / 2 papers shown

Title
Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications Mingyu Cai Makai Mann Zachary Serlin Kevin J. Leahy C. Vasile 108 12 0 03 Oct 2022
Automata-based Optimal Planning with Relaxed Specifications Disha Kamale Eleni Karyofylli C. Vasile 59 19 0 28 Jul 2021