From reachability to temporal specifications in cost-sharing games

DOI10.1007/978-3-319-08587-6_1zbMATH Open1423.68272OpenAlexW30758468MaRDI QIDQ3192177FDOQ3192177

Authors Guy Avni, Orna Kupferman, 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

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

Recommendations

• Network-formation games with regular objectives
• Network-formation games with regular objectives
• A non-cooperative game theory approach to cost sharing in networks
• Hierarchical network formation games
• Alternating Reachability Games with Behavioral and Revenue Objectives

Cited in

(2)

• Network-formation games with regular objectives
• Network-formation games with regular objectives

This page was built for publication: From reachability to temporal specifications in cost-sharing games

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3192177)