Author:
Salamati Ali,Soudjani Sadegh,Zamani Majid
Funder
European Research Council
Subject
Control and Systems Engineering
Reference20 articles.
1. Data-driven statistical learning of temporal logic properties;Bartocci,2014
2. A unifying view on SMT-based software verification;Beyer;Journal of Automated Reasoning,2018
3. Beyer, D. and Keremoglu, M.E. (2011). CPAchecker: A tool for configurable software verification. In CAV, 184– 190.
4. Chou, Y. and Sankaranarayanan, S. (2019). Bayesian parameter estimation for nonlinear dynamics using sensitivity analysis. In AAAI, 5708–5714.
5. Clarke, E.M. and Zuliani, P. (2011). Statistical model checking for cyber-physical systems. In ATVA, 1–12.
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Robust Conformal Prediction for STL Runtime Verification under Distribution Shift;2024 ACM/IEEE 15th International Conference on Cyber-Physical Systems (ICCPS);2024-05-13
2. Data-driven verification and synthesis of stochastic systems via barrier certificates;Automatica;2024-01
3. Conformal Prediction for STL Runtime Verification;Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023);2023-05-09
4. Risk of Stochastic Systems for Temporal Logic Specifications;ACM Transactions on Embedded Computing Systems;2023-04-19
5. Correct-by-Design Control of Parametric Stochastic Systems;2022 IEEE 61st Conference on Decision and Control (CDC);2022-12-06