On maximal permissiveness in partially-observed discrete event systems: Verification and synthesis

Author(s):  
Xiang Yin ◽  
Stephane Lafortune
Automatica ◽  
2002 ◽  
Vol 38 (11) ◽  
pp. 1935-1943 ◽  
Author(s):  
Hervé Marchand ◽  
Olivier Boivineau ◽  
Stéphane Lafortune

Sign in / Sign up

Export Citation Format

Share Document