Robust online monitoring of signal temporal logic (Q2402548): Difference between revisions

@@ Property / DOI @@
-.1007/s10703-017-0286-7
@@ Property / DOI: 10.1007/s10703-017-0286-7 / rank @@
-Normal rank
@@ Property / author @@
-Xiao-qing Jin
@@ Property / author: Xiao-qing Jin / rank @@
-Normal rank
@@ Property / author @@
+Xiao-qing Jin
@@ Property / author: Xiao-qing Jin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Breach
@@ Property / describes a project that uses: Breach / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W828139470
@@ Property / OpenAlex ID: W828139470 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.08234
@@ Property / arXiv ID: 1506.08234 / rank @@
+Normal rank
@@ Property / cites work @@
+S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Data-Driven Statistical Learning of Temporal Logic Properties
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Q5376664
@@ Property / cites work: Q5376664 / rank @@
+Normal rank
@@ Property / cites work @@
+Powertrain control verification benchmark
@@ Property / cites work: Powertrain control verification benchmark / rank @@
+Normal rank
@@ Property / cites work @@
+Mining requirements from closed-loop control models
+Normal rank
@@ Property / cites work @@
+Temporal logic inference for classification and prediction from data
+Normal rank
@@ Property / cites work @@
+Q5757091
@@ Property / cites work: Q5757091 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Temporal Logic as Filtering
@@ Property / cites work: Temporal Logic as Filtering / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-017-0286-7
@@ Property / DOI: 10.1007/S10703-017-0286-7 / rank @@
+Normal rank