Synthesis with rational environments

DOI10.1007/s10472-016-9508-8zbMath1372.68173MaRDI QIDQ314471

Moshe Y. Vardi, Orna Kupferman, Giuseppe Perelli

Publication date: 16 September 2016

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10472-016-9508-8

zbMATH Keywords

synthesis; formal methods; multi-agent systems; logics for games

Mathematics Subject Classification ID

91A80: Applications of game theory

03B70: Logic in computer science

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

68T42: Agent technology and artificial intelligence