Admissible Strategies in Timed Games

DOI10.1007/978-3-319-63121-9_20zbMath1431.68069OpenAlexW2623730827MaRDI QIDQ5217311

Nicolas Basset, Ocan Sankur, Jean-François Raskin

Publication date: 24 February 2020

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-63121-9_20

Mathematics Subject Classification ID

Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Unnamed Item

This page was built for publication: Admissible Strategies in Timed Games