Dynamic Observers for the Synthesis of Opaque Systems

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04761-9_26 ◽

2009 ◽

pp. 352-367 ◽

Author(s):

Franck Cassez ◽

Jérémy Dubreil ◽

Hervé Marchand

Download Full-text