Minimal specification revision for weighted transition systems (0)

by K Kim, G Fainekos
Venue:In Int. Conf. on Robotics and Automation, 4068–4074. IEEE