Robust safety of timed automata (Q1028728): Difference between revisions

@@ Property / cites work @@
+Q2754104
@@ Property / cites work: Q2754104 / 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 @@
+Q4472261
@@ Property / cites work: Q4472261 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4654724
@@ Property / cites work: Q4654724 / 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 @@
+Q4251920
@@ Property / cites work: Q4251920 / 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 @@
+Q5437180
@@ Property / cites work: Q5437180 / rank @@
+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 @@
+A calculus of durations
@@ Property / cites work: A calculus of durations / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736580
@@ Property / cites work: Q4736580 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4281508
@@ Property / cites work: Q4281508 / rank @@
+Normal rank
@@ Property / cites work @@
+Minimum and maximum delay problems in real-time systems
+Normal rank
@@ Property / cites work @@
+Almost ASAP semantics: from timed models to timed implementations
+Normal rank
@@ Property / cites work @@
+Q4509995
@@ Property / cites work: Q4509995 / rank @@
+Normal rank
@@ Property / cites work @@
+PLC-automata: A new class of implementable real-time automata
+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 @@
+Symbolic Robustness Analysis of Timed Automata
@@ Property / cites work: Symbolic Robustness Analysis of Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4945221
@@ Property / cites work: Q4945221 / 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 @@
+Q2769587
@@ Property / cites work: Q2769587 / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+On the synthesis of discrete controllers for timed systems
+Normal rank
@@ Property / cites work @@
+Dynamical properties of timed automata
@@ Property / cites work: Dynamical properties of timed automata / rank @@
+Normal rank