What’s Decidable About Parametric Timed Automata? (Q4686606): Difference between revisions

@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric temporal logic for “model measuring”
+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 @@
+Integer-complete synthesis for bounded parametric timed automata
+Normal rank
@@ Property / cites work @@
+Language Preservation Problems in Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Low dimensional hybrid systems -- decidable, undecidable, don't know
+Normal rank
@@ Property / cites work @@
+Language Emptiness of Continuous-Time Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Parametric Interrupt Timed Automata
@@ Property / cites work: Parametric Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness in Timed Automata
@@ Property / cites work: Robustness in Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Time-Bounded Reachability for Monotonic Hybrid Automata: Complexity and Fixed Points
+Normal rank
@@ Property / cites work @@
+Real-Time Model-Checking: Parameters everywhere
@@ Property / cites work: Real-Time Model-Checking: Parameters everywhere / rank @@
+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 @@
+Timed verification of the generic architecture of a memory circuit using parametric timed automata
+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 @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+The expressive power of clocks
@@ Property / cites work: The expressive power of clocks / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Bounded Model Checking for Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953401
@@ Property / cites work: Q4953401 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5590814
@@ Property / cites work: Q5590814 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4994958
@@ Property / cites work: Q4994958 / rank @@
+Normal rank