Optimal Bounds for Multiweighted and Parametrised Energy Games (Q2842640): Difference between revisions

@@ Property / cites work @@
+Timed automata with observers under energy constraints
+Normal rank
@@ Property / cites work @@
+Infinite Runs in Weighted Timed Automata with Energy Constraints
+Normal rank
@@ Property / cites work @@
+Reachability Games on Extended Vector Addition Systems with States
+Normal rank
@@ Property / cites work @@
+Z-Reachability Problem for Games on 2-Dimensional Vector Addition Systems with States Is in P
+Normal rank
@@ Property / cites work @@
+Energy Parity Games
@@ Property / cites work: Energy Parity Games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Mean-payoff and Energy Games
@@ Property / cites work: Generalized Mean-payoff and Energy Games / rank @@
+Normal rank
@@ Property / cites work @@
+Energy and Mean-Payoff Games with Imperfect Information
+Normal rank
@@ Property / cites work @@
+Energy Games in Multiweighted Automata
@@ Property / cites work: Energy Games in Multiweighted Automata / rank @@
+Normal rank
@@ Property / cites work @@
+The residue of vector sets with applications to decidability problems in Petri nets
+Normal rank