DMCA

Approximate Solutions for the Minimal Revision Problem of Specification Automata (2012)

by Kangjin Kim , Georgios E. Fainekos
Venue:IROS. Vilamoura: IEEE/RSJ
Citations:10 - 3 self