Optimal Reachability in Divergent Weighted Timed Games (Q2988366): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2575538450
@@ Property / OpenAlex ID: W2575538450 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03716
@@ Property / arXiv ID: 1701.03716 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / 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 @@
+Optimal paths in weighted timed automata
@@ Property / cites work: Optimal paths in weighted timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4249561
@@ Property / cites work: Q4249561 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+Normal rank
@@ Property / cites work @@
+Optimal infinite scheduling for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+On the Value Problem in Weighted Timed Games.
@@ Property / cites work: On the Value Problem in Weighted Timed Games. / rank @@
+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 @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q5275374
@@ Property / cites work: Q5275374 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5357711
@@ Property / cites work: Q5357711 / rank @@
+Normal rank
@@ Property / cites work @@
+Pseudopolynomial iterative algorithm to solve total-payoff games and min-cost 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 @@
+Optimal Reachability in Divergent Weighted Timed Games
+Normal rank
@@ Property / cites work @@
+A Faster Algorithm for Solving One-Clock Priced Timed Games
+Normal rank
@@ Property / cites work @@
+Number of quantifiers is better than number of tape cells
+Normal rank
@@ Property / cites work @@
+Nondeterministic Space is Closed under Complementation
+Normal rank
@@ Property / cites work @@
+Reachability-Time Games on Timed Automata
@@ Property / cites work: Reachability-Time Games on Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On short paths interdiction problems: Total and node-wise limited interdiction
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The method of forced enumeration for nondeterministic automata
+Normal rank