scientific article; zbMATH DE number 6862070

DOI10.4230/LIPIcs.FSTTCS.2016.42zbMath1394.91058arXiv1611.08677MaRDI QIDQ4636592

Romain Brenguier, Guillermo A. Pérez, Ocan Sankur, Jean-François Raskin

Publication date: 19 April 2018

Full work available at URL: https://arxiv.org/abs/1611.08677

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

verificationadmissibilityreactive synthesisquantitative games

Mathematics Subject Classification ID

Games involving graphs (91A43) Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Reasoning about Quality and Fuzziness of Strategic Behaviors ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Performance heuristics for GR(1) synthesis and related algorithms ⋮ Unnamed Item ⋮ A game-theoretic approach for the synthesis of complex systems

This page was built for publication: