Matches in SemOpenAlex for { <https://semopenalex.org/work/W30758468> ?p ?o ?g. }
- W30758468 abstract "Multi-agents cost-sharing games are commonly used for modeling settings in which different entities share resources. For example, the setting in which entities need to route messages in a network is modeled by a network-formation game: the network is modeled by a graph, and each agent has to select a path satisfying his reachability objective. In practice, the objectives of the entities are often more involved than reachability. The need to specify and reason about rich specifications has been extensively studied in the context of verification and synthesis of reactive systems. This paper suggests and analyzes a generalization of cost-sharing games that captures such rich specifications. In particular, we study network-formation games with regular objectives. In these games, the edges of the graph are labeled by alphabet letters and the objective of each player is a regular language over the alphabet of labels. Thus, beyond reachability, a player may restrict attention to paths that satisfy certain properties, referring, for example, to the providers of the traversed edges, the actions associated with them, their quality of service, or security. Our results show that the transition to regular objectives makes the game considerably less stable." @default.
- W30758468 created "2016-06-24" @default.
- W30758468 creator A5029172336 @default.
- W30758468 creator A5077429082 @default.
- W30758468 creator A5084411441 @default.
- W30758468 date "2014-01-01" @default.
- W30758468 modified "2023-09-23" @default.
- W30758468 title "From Reachability to Temporal Specifications in Cost-Sharing Games" @default.
- W30758468 cites W1496672808 @default.
- W30758468 cites W1516806823 @default.
- W30758468 cites W1527405706 @default.
- W30758468 cites W1537998965 @default.
- W30758468 cites W1546220007 @default.
- W30758468 cites W1556566737 @default.
- W30758468 cites W1564682400 @default.
- W30758468 cites W1589421353 @default.
- W30758468 cites W1601379374 @default.
- W30758468 cites W1643571618 @default.
- W30758468 cites W1667182944 @default.
- W30758468 cites W1677489834 @default.
- W30758468 cites W1728210526 @default.
- W30758468 cites W1737156267 @default.
- W30758468 cites W1984478483 @default.
- W30758468 cites W1991307017 @default.
- W30758468 cites W1993103111 @default.
- W30758468 cites W2005708967 @default.
- W30758468 cites W2015988352 @default.
- W30758468 cites W2016206563 @default.
- W30758468 cites W2019792818 @default.
- W30758468 cites W2027725119 @default.
- W30758468 cites W2032349632 @default.
- W30758468 cites W2048905609 @default.
- W30758468 cites W2054129049 @default.
- W30758468 cites W2056606651 @default.
- W30758468 cites W2070937106 @default.
- W30758468 cites W2092977061 @default.
- W30758468 cites W2095094403 @default.
- W30758468 cites W2100485490 @default.
- W30758468 cites W2106800330 @default.
- W30758468 cites W2120326455 @default.
- W30758468 cites W2123735079 @default.
- W30758468 cites W2125529971 @default.
- W30758468 cites W2132638915 @default.
- W30758468 cites W2140880186 @default.
- W30758468 cites W2145297839 @default.
- W30758468 cites W2167808768 @default.
- W30758468 cites W2170408876 @default.
- W30758468 cites W2172152464 @default.
- W30758468 cites W2476012767 @default.
- W30758468 cites W2497061186 @default.
- W30758468 cites W2513087425 @default.
- W30758468 cites W2808195962 @default.
- W30758468 cites W2912494578 @default.
- W30758468 cites W2913682003 @default.
- W30758468 cites W3123380468 @default.
- W30758468 cites W2461514199 @default.
- W30758468 doi "https://doi.org/10.1007/978-3-319-08587-6_1" @default.
- W30758468 hasPublicationYear "2014" @default.
- W30758468 type Work @default.
- W30758468 sameAs 30758468 @default.
- W30758468 citedByCount "0" @default.
- W30758468 crossrefType "book-chapter" @default.
- W30758468 hasAuthorship W30758468A5029172336 @default.
- W30758468 hasAuthorship W30758468A5077429082 @default.
- W30758468 hasAuthorship W30758468A5084411441 @default.
- W30758468 hasConcept C112876837 @default.
- W30758468 hasConcept C132525143 @default.
- W30758468 hasConcept C134306372 @default.
- W30758468 hasConcept C136643341 @default.
- W30758468 hasConcept C138885662 @default.
- W30758468 hasConcept C151730666 @default.
- W30758468 hasConcept C162324750 @default.
- W30758468 hasConcept C175444787 @default.
- W30758468 hasConcept C177142836 @default.
- W30758468 hasConcept C177148314 @default.
- W30758468 hasConcept C2779343474 @default.
- W30758468 hasConcept C33923547 @default.
- W30758468 hasConcept C41008148 @default.
- W30758468 hasConcept C41895202 @default.
- W30758468 hasConcept C80444323 @default.
- W30758468 hasConcept C86803240 @default.
- W30758468 hasConceptScore W30758468C112876837 @default.
- W30758468 hasConceptScore W30758468C132525143 @default.
- W30758468 hasConceptScore W30758468C134306372 @default.
- W30758468 hasConceptScore W30758468C136643341 @default.
- W30758468 hasConceptScore W30758468C138885662 @default.
- W30758468 hasConceptScore W30758468C151730666 @default.
- W30758468 hasConceptScore W30758468C162324750 @default.
- W30758468 hasConceptScore W30758468C175444787 @default.
- W30758468 hasConceptScore W30758468C177142836 @default.
- W30758468 hasConceptScore W30758468C177148314 @default.
- W30758468 hasConceptScore W30758468C2779343474 @default.
- W30758468 hasConceptScore W30758468C33923547 @default.
- W30758468 hasConceptScore W30758468C41008148 @default.
- W30758468 hasConceptScore W30758468C41895202 @default.
- W30758468 hasConceptScore W30758468C80444323 @default.
- W30758468 hasConceptScore W30758468C86803240 @default.
- W30758468 hasLocation W307584681 @default.
- W30758468 hasOpenAccess W30758468 @default.
- W30758468 hasPrimaryLocation W307584681 @default.