Skip to Main content Skip to Navigation
Conference papers

A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies

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-00555753
Contributor : Sophie Pinchinat <>
Submitted on : Friday, January 14, 2011 - 1:16:18 PM
Last modification on : Wednesday, June 16, 2021 - 3:42:00 AM

Identifiers

  • HAL Id : inria-00555753, version 1

Citation

Sophie Pinchinat. A Generic Constructive Solution for Concurrent Games with Expressive Constraints on Strategies. ATVA, Oct 2007, Tokyo, Japan. pp.253-267. ⟨inria-00555753⟩

Share

Metrics

Record views

208