Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419): Difference between revisions

@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Data-Driven Statistical Learning of Temporal Logic Properties
+Normal rank
@@ Property / cites work @@
+A unifying view on SMT-based software verification
+Normal rank
@@ Property / cites work @@
+Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities
+Normal rank
@@ Property / cites work @@
+Statistical Model Checking for Cyber-Physical Systems
+Normal rank
@@ Property / cites work @@
+Shrinking Horizon Model Predictive Control With Signal Temporal Logic Constraints Under Stochastic Disturbances
+Normal rank
@@ Property / cites work @@
+Robust Dual Dynamic Programming
@@ Property / cites work: Robust Dual Dynamic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Data-driven and model-based verification via Bayesian identification and reachability analysis
+Normal rank
@@ Property / cites work @@
+Large deviations for sums of partly dependent random variables
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Q3159164
@@ Property / cites work: Q3159164 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive synthesis from signal temporal logic specifications
+Normal rank
@@ Property / cites work @@
+Formal Guarantees in Data-Driven Model Identification and Control Synthesis
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Multilevel Monte Carlo Method for Statistical Model Checking of Hybrid Systems
+Normal rank