Rational Synthesis
From MaRDI portal
Publication:3557077
DOI10.1007/978-3-642-12002-2_16zbMath1284.68396MaRDI QIDQ3557077
Orna Kupferman, Dana Fisman, Yoad Lustig
Publication date: 27 April 2010
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-12002-2_16
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
68T42: Agent technology and artificial intelligence
