From Reachability to Temporal Specifications in Cost-Sharing Games

DOI10.1007/978-3-319-08587-6_1zbMath1423.68272MaRDI QIDQ3192177

Orna Kupferman, Tami Tamir, Guy Avni

Publication date: 26 September 2014

Published in: Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08587-6_1

Mathematics Subject Classification ID

91A80: Applications of game theory

68Q45: Formal languages and automata

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