Skip to Main content Skip to Navigation
Conference papers

Games with Opacity Condition

Bastien Maubert 1 Sophie Pinchinat 1 
1 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00555749
Contributor : Sophie Pinchinat Connect in order to contact the contributor
Submitted on : Friday, January 14, 2011 - 1:06:59 PM
Last modification on : Friday, February 4, 2022 - 3:15:39 AM

Identifiers

  • HAL Id : inria-00555749, version 1

Citation

Bastien Maubert, Sophie Pinchinat. Games with Opacity Condition. RP, Sep 2009, Paris, France. pp.166-175. ⟨inria-00555749⟩

Share

Metrics

Record views

168