Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems-Reference-Cited by-同舟云学术

Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems

Published: Issue: Volume: Page:172-186
ISSN:0302-9743
Container-title:Hybrid Systems: Computation and Control
language:
Short-container-title:

Author:

Fränzle Martin,Hermanns Holger,Teige Tino

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-78929-1_13.pdf

Reference20 articles.

1. Arnold, L.: Stochastic Differential Equations: Theory and Applications. Wiley - Interscience (1974)

2. Audemard, G., Bozzano, M., Cimatti, A., Sebastiani, R.: Verifying industrial hybrid systems with MathSAT. BMC, ENTCS 119, 17–32 (2004)

3. Lecture Notes in Computer Science;A. Biere,1999

4. Blom, H.A.P., Krystul, J., Bakker, G.J.: A particle system for safety verification of free flight in air traffic. In: Decision and Control, pp. 1574–1579. IEEE, Los Alamitos (2006)

5. Bordeaux, L., Samulowitz, H.: On the stochastic constraint satisfaction framework. In: SAC, pp. 316–320. ACM Press, New York (2007)

Cited by 30 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Safe Probabilistic Invariance Verification for Stochastic Discrete-Time Dynamical Systems;2023 62nd IEEE Conference on Decision and Control (CDC);2023-12-13

2. PSMT: Satisfiability Modulo Theories Meets Probability Distribution;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11

3. Bayesian hybrid automata: Reconciling formal methods with metrology;it - Information Technology;2021-10-13

4. Model Checking Finite-Horizon Markov Chains with Probabilistic Inference;Computer Aided Verification;2021

5. PrIC3: Property Directed Reachability for MDPs;Computer Aided Verification;2020