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

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
-Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / author @@
+Jean-François Raskin
@@ Property / author: Jean-François Raskin / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-39698-4_15
+Normal rank
@@ Property / OpenAlex ID @@
+W1853387130
@@ Property / OpenAlex ID: W1853387130 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2842640