Q4636592
type: Item
instance of: scholarly article
zbMATH Open document ID: 1394.91058
author: Romain Brenguier
author: G. A. Pérez
author: Ocan Sankur
author: Jean-François Raskin
publication date: 2018-04-19T00:00:00Z
full work available at URL: https://arxiv.org/abs/1611.08677
Mathematics Subject Classification ID: 91A43
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 6862070
zbMATH Keywords: quantitative games
zbMATH Keywords: verification
zbMATH Keywords: reactive synthesis
zbMATH Keywords: admissibility
MaRDI profile type: Publication
arXiv ID: 1611.08677
DOI: 10.4230/LIPICS.FSTTCS.2016.42
Recommended article: Admissible Strategies in Infinite Games over Graphs
Recommended article: Admissibility in Infinite Games
Recommended article: Deterministic Graph Games and a Probabilistic Intuition
Recommended article: Q4347879
Recommended article: Admissiblity in Concurrent Games
Recommended article: Grafos y Juegos den personas
Recommended article: The complexity of admissibility in Omega-regular games
Recommended article: Schelling games on graphs
Recommended article: Games on graphs
description: scientific article; zbMATH DE number 6862070