Timed network games (Q2112796): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.ic.2022.104996
+Normal rank
@@ Property / OpenAlex ID @@
+W4310790831
@@ Property / OpenAlex ID: W4310790831 / rank @@
+Normal rank
@@ Property / cites work @@
+Is your model checker on time? On the complexity of model checking for timed modal logics
+Normal rank
@@ Property / cites work @@
+On the impact of combinatorial structure on congestion games
+Normal rank
@@ Property / cites work @@
+Exact Price of Anarchy for Polynomial Congestion Games
+Normal rank
@@ Property / cites work @@
+Q5357713
@@ Property / cites work: Q5357713 / rank @@
+Normal rank
@@ Property / cites work @@
+Patrolling Games
@@ Property / cites work: Patrolling Games / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Alternating-time temporal logic
@@ Property / cites work: Alternating-time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The Price of Stability for Network Design with Fair Cost Allocation
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5111251
@@ Property / cites work: Q5111251 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5005123
@@ Property / cites work: Q5005123 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite-duration Bidding Games
@@ Property / cites work: Infinite-duration Bidding Games / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic Resource Allocation Games
@@ Property / cites work: Dynamic Resource Allocation Games / rank @@
+Normal rank
@@ Property / cites work @@
+Network-formation games with regular objectives
@@ Property / cites work: Network-formation games with regular objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5365037
@@ Property / cites work: Q5365037 / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Energy and mean-payoff timed games
@@ Property / cites work: Energy and mean-payoff timed games / rank @@
+Normal rank
@@ Property / cites work @@
+Subgame Perfection for Equilibria in Quantitative Reachability Games
+Normal rank
@@ Property / cites work @@
+Adding Negative Prices to Priced Timed Games
@@ Property / cites work: Adding Negative Prices to Priced Timed Games / rank @@
+Normal rank
@@ Property / cites work @@
+Nash Equilibrium for Upward-Closed Objectives
@@ Property / cites work: Nash Equilibrium for Upward-Closed Objectives / rank @@
+Normal rank
@@ Property / cites work @@
+Games with secure equilibria
@@ Property / cites work: Games with secure equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Strategy Logic
@@ Property / cites work: Strategy Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Parity Games: Complexity and Robustness
@@ Property / cites work: Timed Parity Games: Complexity and Robustness / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms – ESA 2005
@@ Property / cites work: Algorithms – ESA 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+The price of anarchy of finite congestion games
@@ Property / cites work: The price of anarchy of finite congestion games / rank @@
+Normal rank
@@ Property / cites work @@
+Combined task- and network-level scheduling for distributed time-triggered systems
+Normal rank
@@ Property / cites work @@
+The complexity of pure Nash equilibria
@@ Property / cites work: The complexity of pure Nash equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability in Two-Clock Timed Automata Is PSPACE-Complete
+Normal rank
@@ Property / cites work @@
+Rational Synthesis
@@ Property / cites work: Rational Synthesis / rank @@
+Normal rank
@@ Property / cites work @@
+Q3292914
@@ Property / cites work: Q3292914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4636594
@@ Property / cites work: Q4636594 / rank @@
+Normal rank
@@ Property / cites work @@
+A Faster Algorithm for Solving One-Clock Priced Timed Games
+Normal rank
@@ Property / cites work @@
+Competitive routing over time
@@ Property / cites work: Competitive routing over time / rank @@
+Normal rank
@@ Property / cites work @@
+How easy is local search?
@@ Property / cites work: How easy is local search? / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165971
@@ Property / cites work: Q3165971 / rank @@
+Normal rank
@@ Property / cites work @@
+Worst-case equilibria
@@ Property / cites work: Worst-case equilibria / rank @@
+Normal rank
@@ Property / cites work @@
+Contention Issues in Congestion Games
@@ Property / cites work: Contention Issues in Congestion Games / rank @@
+Normal rank
@@ Property / cites work @@
+Hierarchical Network Formation Games
@@ Property / cites work: Hierarchical Network Formation Games / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2004 - Concurrency Theory
@@ Property / cites work: CONCUR 2004 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3330496
@@ Property / cites work: Q3330496 / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium points in             <i>n</i>             -person games
@@ Property / cites work: Equilibrium points in <i>n</i> -person games / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms, games, and the internet
@@ Property / cites work: Algorithms, games, and the internet / rank @@
+Normal rank
@@ Property / cites work @@
+Random Order Congestion Games
@@ Property / cites work: Random Order Congestion Games / rank @@
+Normal rank
@@ Property / cites work @@
+The temporal semantics of concurrent programs
@@ Property / cites work: The temporal semantics of concurrent programs / rank @@
+Normal rank
@@ Property / cites work @@
+Nash equilibria and the price of anarchy for flows over time
+Normal rank
@@ Property / cites work @@
+A class of games possessing pure-strategy Nash equilibria
+Normal rank
@@ Property / cites work @@
+How bad is selfish routing?
@@ Property / cites work: How bad is selfish routing? / rank @@
+Normal rank
@@ Property / cites work @@
+Simple Local Search Problems that are Hard to Solve
+Normal rank