Borgne, Symbolic abstractions of automata and their application to the supervisory control problem (1999)

by S Pinchinat, H Marchand, M Le
Venue:In INRIA Technical Reports No