Language Emptiness of Continuous-Time Parametric Timed Automata (Q3449466): Difference between revisions

@@ Property / author @@
-Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
-Normal rank
@@ Property / author @@
-Jiří Srba
@@ Property / author: Jiří Srba / rank @@
-Normal rank
@@ Property / author @@
+Kim Guldstrand Larsen
@@ Property / author: Kim Guldstrand Larsen / rank @@
+Normal rank
@@ Property / author @@
+Jiří Srba
@@ Property / author: Jiří Srba / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1946664948
@@ Property / OpenAlex ID: W1946664948 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.07838
@@ Property / arXiv ID: 1504.07838 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4036557
@@ Property / cites work: Q4036557 / 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 @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+An Inverse Method for Parametric Timed Automata
@@ Property / cites work: An Inverse Method for Parametric Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552463
@@ Property / cites work: Q4552463 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Improved undecidability results on weighted timed automata
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
+Normal rank
@@ Property / cites work @@
+Advances in Parametric Real-Time Reasoning
@@ Property / cites work: Advances in Parametric Real-Time Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Interrupt Timed Automata
@@ Property / cites work: Parametric Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q2769587
@@ Property / cites work: Q2769587 / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Parameter Synthesis for Timed Automata
@@ Property / cites work: Integer Parameter Synthesis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Boundedness problems for Minsky counter machines
@@ Property / cites work: Boundedness problems for Minsky counter machines / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric timing analysis for real-time systems
@@ Property / cites work: Parametric timing analysis for real-time systems / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3449466