Robust Analysis of Timed Automata Via Channel Machines (Q5458357): Difference between revisions

@@ 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 / full work available at URL @@
+https://doi.org/10.1007/978-3-540-78499-9_12
+Normal rank
@@ Property / OpenAlex ID @@
+W2082762653
@@ Property / OpenAlex ID: W2082762653 / rank @@
+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 @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / 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 @@
+Probabilistic and Topological Semantics for Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Model-Checking of Linear-Time Properties in Timed Automata
+Normal rank
@@ Property / cites work @@
+Robust Analysis of Timed Automata Via Channel Machines
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Robustness Analysis of Timed Automata
@@ Property / cites work: Symbolic Robustness Analysis of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamical Properties of Timed Automata Revisited
@@ Property / cites work: Dynamical Properties of Timed Automata Revisited / rank @@
+Normal rank
@@ Property / cites work @@
+A Temporal Logic of Robustness
@@ Property / cites work: A Temporal Logic of Robustness / rank @@
+Normal rank
@@ Property / cites work @@
+Uppaal in a nutshell
@@ Property / cites work: Uppaal in a nutshell / rank @@
+Normal rank
@@ Property / cites work @@
+On the decidability and complexity of Metric Temporal Logic over finite words
+Normal rank