From Reachability to Temporal Specifications in Cost-Sharing Games

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

Orna Kupferman, Guy Avni, Tami Tamir

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

Applications of game theory (91A80) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Network-formation games with regular objectives

This page was built for publication: From Reachability to Temporal Specifications in Cost-Sharing Games