Minimal specification revision for weighted transition systems.

Kangjin Kim, Georgios Fainekos

Browse the full ICRA paper archive.