Dynamic Observers for the Synthesis of Opaque Systems.

Franck Cassez, Jrmy Dubreil, Herv Marchand

Browse the full ATVA paper archive.