On Timed Alternating Simulation for Concurrent Timed Games

Laura Bozzelli; Axel Legay; Sophie Pinchinat

Conference Papers Year : 2009

On Timed Alternating Simulation for Concurrent Timed Games

(1) , (1) , (1)

1

Laura Bozzelli

Function : Author

System synthesis and supervision, scenarios

Axel Legay

Function : Author
PersonId : 861400

System synthesis and supervision, scenarios

Sophie Pinchinat

Function : Author
PersonId : 15715
IdHAL : sophie-pinchinat
IdRef : 097578754

System synthesis and supervision, scenarios

CV

Domains

Computer Science and Game Theory [cs.GT]

Sophie Pinchinat : Connect in order to contact the contributor

https://inria.hal.science/inria-00555977

Submitted on : Friday, January 14, 2011-5:07:39 PM

Last modification on : Friday, March 24, 2023-2:52:54 PM

Dates and versions

inria-00555977 , version 1 (14-01-2011)

Identifiers

HAL Id : inria-00555977 , version 1

Cite

Laura Bozzelli, Axel Legay, Sophie Pinchinat. On Timed Alternating Simulation for Concurrent Timed Games. FSTTCS, Dec 2009, Kanpur, India. pp.85-96. ⟨inria-00555977⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

EC-PARIS UNIV-RENNES1 CNRS INRIA INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES INSA-GROUPE UR1-MATH-NUM

136 View

0 Download

On Timed Alternating Simulation for Concurrent Timed Games

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share