System design of stochastic models using robustness of temporal properties (Q2348023): Difference between revisions

@@ Property / cites work @@
+Essentials of Stochastic Processes
@@ Property / cites work: Essentials of Stochastic Processes / 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 @@
+Symbolic model checking for probabilistic processes
+Normal rank
@@ Property / cites work @@
+Time-Bounded Verification of CTMCs against Real-Time Specifications
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Information-Theoretic Regret Bounds for Gaussian Process Optimization in the Bandit Setting
+Normal rank
@@ Property / cites work @@
+Q3103870
@@ Property / cites work: Q3103870 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+(Hybrid) automata and (stochastic) programs * The hybrid automata lattice of a stochastic program
+Normal rank
@@ Property / cites work @@
+Stochastic differential equations. An introduction with applications.
+Normal rank
@@ Property / cites work @@
+Q5560061
@@ Property / cites work: Q5560061 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+The benefits of relaxing punctuality
@@ Property / cites work: The benefits of relaxing punctuality / rank @@
+Normal rank
@@ Property / cites work @@
+Analog property checkers: a DDR2 case study
@@ Property / cites work: Analog property checkers: a DDR2 case study / rank @@
+Normal rank
@@ Property / cites work @@
+Computability and Representations of the Zero Set
@@ Property / cites work: Computability and Representations of the Zero Set / rank @@
+Normal rank
@@ Property / cites work @@
+How to recognize zero?
@@ Property / cites work: How to recognize zero? / rank @@
+Normal rank
@@ Property / cites work @@
+Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
+Normal rank
@@ Property / cites work @@
+Hybrid dynamics of stochastic programs
@@ Property / cites work: Hybrid dynamics of stochastic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Mining requirements from closed-loop control models
+Normal rank
@@ Property / cites work @@
+Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
+Normal rank
@@ Property / cites work @@
+Q5483032
@@ Property / cites work: Q5483032 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3394879
@@ Property / cites work: Q3394879 / rank @@
+Normal rank
@@ Property / cites work @@
+Bayesian Calibration of Computer Models
@@ Property / cites work: Bayesian Calibration of Computer Models / rank @@
+Normal rank
@@ Property / cites work @@
+On Temporal Logic and Signal Processing
@@ Property / cites work: On Temporal Logic and Signal Processing / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple Verification in Complex Biological Systems: The Bone Remodelling Case Study
+Normal rank
@@ Property / cites work @@
+Robust Sampling for MITL Specifications
@@ Property / cites work: Robust Sampling for MITL Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Model Repair for Probabilistic Systems
@@ Property / cites work: Model Repair for Probabilistic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Data-Driven Statistical Learning of Temporal Logic Properties
+Normal rank
@@ Property / cites work @@
+Transactions on Computational Systems Biology VI
@@ Property / cites work: Transactions on Computational Systems Biology VI / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic inference for classification and prediction from data
+Normal rank
@@ Property / cites work @@
+SpaTeL
@@ Property / cites work: SpaTeL / rank @@
+Normal rank