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

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

Mathematics Subject Classification ID

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

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)