Costs and rewards in priced timed automata (Q2064528): Difference between revisions

@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3100414354
@@ Property / OpenAlex ID: W3100414354 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.01914
@@ Property / arXiv ID: 1803.01914 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5002811
@@ Property / cites work: Q5002811 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal infinite scheduling for multi-priced timed automata
+Normal rank
@@ Property / cites work @@
+Model Checking One-clock Priced Timed Automata
@@ Property / cites work: Model Checking One-clock Priced Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+On model-checking timed automata with stopwatch observers
+Normal rank
@@ Property / cites work @@
+Revisiting Decidability and Optimum Reachability for Multi-Priced Timed Automata
+Normal rank
@@ Property / cites work @@
+Optimal reachability for multi-priced timed automata
+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 @@
+Q4551180
@@ Property / cites work: Q4551180 / 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 @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+Undecidable diophantine equations
@@ Property / cites work: Undecidable diophantine equations / rank @@
+Normal rank
@@ Property / cites work @@
+On the integer solutions of quadratic equations
@@ Property / cites work: On the integer solutions of quadratic equations / rank @@
+Normal rank
@@ Property / cites work @@
+Small Approximate Pareto Sets for Biobjective Shortest Paths and Other Problems
+Normal rank
@@ Property / cites work @@
+Signed graphs
@@ Property / cites work: Signed graphs / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849590
@@ Property / cites work: Q2849590 / rank @@
+Normal rank
@@ Property / cites work @@
+On the optimal reachability problem of weighted timed automata
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2064528