STL*: extending signal temporal logic with signal-value freezing operator (Q2453214): Difference between revisions

@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
+Normal rank
@@ Property / cites work @@
+CTRL: extension of CTL with regular expressions and fairness operators to verify genetic regulatory networks
+Normal rank
@@ Property / cites work @@
+Query-based verification of qualitative trends and oscillations in biochemical systems
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Detecting synchronisation of biological oscillators by model checking
+Normal rank
@@ Property / cites work @@
+Q5452284
@@ Property / cites work: Q5452284 / 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 @@
+On Temporal Logic and Signal Processing
@@ Property / cites work: On Temporal Logic and Signal Processing / rank @@
+Normal rank