DMCA

On the Minimal Revision Problem of Specification Automata (2014)

Cached

Download Links

by Kangjin Kim , Georgios E. Fainekos , Sriram Sankaranarayanan