LTL Parameter Synthesis of Parametric Timed Automata (Q4571131): Difference between revisions

@@ Property / describes a project that uses @@
+PPL
@@ Property / describes a project that uses: PPL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Uppaal
@@ Property / describes a project that uses: Uppaal / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2295421498
@@ Property / OpenAlex ID: W2295421498 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3696
@@ Property / arXiv ID: 1409.3696 / 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 @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Checking timed Büchi automata emptiness efficiently
+Normal rank
@@ Property / cites work @@
+Forward analysis of updatable timed automata
@@ Property / cites work: Forward analysis of updatable timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Checking Timed Büchi Automata Emptiness Using LU-Abstractions
+Normal rank
@@ Property / cites work @@
+LTL Parameter Synthesis of Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Q4037388
@@ Property / cites work: Q4037388 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4551134
@@ Property / cites work: Q4551134 / rank @@
+Normal rank
@@ Property / cites work @@
+On Clock-Aware LTL Properties of Timed Automata
@@ Property / cites work: On Clock-Aware LTL Properties of Timed Automata / rank @@
+Normal rank