Alternating Reachability Games with Behavioral and Revenue Objectives

DOI10.29007/ncldzbMath1415.68150MaRDI QIDQ5222974

Orna Kupferman, Tami Tamir

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/ncld

zbMATH Keywords

game theory; Nash equilibrium; reachability games; rational synthesis

Mathematics Subject Classification ID

91A80: Applications of game theory

68Q60: Specification and verification (program logics, model checking, etc.)

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)