Discount-Optimal Infinite Runs in Priced Timed Automata (Q5179061): Difference between revisions

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / 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.1016/j.entcs.2009.05.039
+Normal rank
@@ Property / OpenAlex ID @@
+W2069081759
@@ Property / OpenAlex ID: W2069081759 / rank @@
+Normal rank
@@ Property / cites work @@
+Scheduling with timed automata
@@ Property / cites work: Scheduling with timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4038702
@@ Property / cites work: Q4038702 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552456
@@ Property / cites work: Q4552456 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Discount-Optimal Infinite Runs in Priced Timed Automata
+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 @@
+Q2743706
@@ Property / cites work: Q2743706 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551180
@@ Property / cites work: Q4551180 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5179061