Solving Stochastic Büchi Games on Infinite Decisive Arenas - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Solving Stochastic Büchi Games on Infinite Decisive Arenas

Domains

Computer Science and Game Theory [cs.GT]

Nathalie Bertrand  : Connect in order to contact the contributor

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

Submitted on : Wednesday, November 20, 2013-1:39:46 PM

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

Consult the full text

Dates and versions

hal-00906831 , version 1 (20-11-2013)

Identifiers

Cite

Nathalie Bertrand, Philippe Schnoebelen. Solving Stochastic Büchi Games on Infinite Decisive Arenas. QAPL - 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, Mar 2013, Rome, Italy. pp.116-131, ⟨10.4204/EPTCS.117.8⟩. ⟨hal-00906831⟩

Export

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

INSTITUT-TELECOM EC-PARIS UNIV-RENNES1 CNRS INRIA ENS-CACHAN INSA-RENNES IRISA IRISA-D4 INRIA2 UR1-MATH-STIC UR1-UFR-ISTIC UNIV-RENNES UR1-MATH-NUM ENS-PARIS-SACLAY
297 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More