Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression-Reference-Cited by-同舟云学术

Falsification of Conditional Safety Properties for Cyber-Physical Systems with Gaussian Process Regression

Published:2016 Issue: Volume: Page:439-446
ISSN:0302-9743
Container-title:Runtime Verification
language:
Short-container-title:

Author:

Akazaki Takumi

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-46982-9_27

Reference16 articles.

1. Alur, R., Feder, T., Henzinger, T.A.: The benefits of relaxing punctuality. J. ACM 43(1), 116–146 (1996)

2. Lecture Notes in Computer Science;Y Annpureddy,2011

3. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: On the robustness of temporal properties for stochastic models. In: Dang, T., Piazza, C. (eds.) Proceedings Second International Workshop on Hybrid Systems and Biology, HSB 2013, Taormina, Italy, 2nd September 2013, vol. 125 of EPTCS, pp. 3–19 (2013)

4. Bartocci, E., Bortolussi, L., Nenzi, L., Sanguinetti, G.: System design of stochastic models using robustness of temporal properties. Theor. Comput. Sci. 587, 3–25 (2015)

5. Chen, G., Sabato, Z., Kong, Z.: Active requirement mining of bounded-time temporal properties of cyber-physical systems. CoRR abs/1603.00814 (2016)

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

1. An Improved Machine Learning Model for Pure Component Property Estimation;Engineering;2024-08

2. Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation With Probabilistic Guarantees;IEEE Transactions on Automation Science and Engineering;2023

3. Towards Efficient Input Space Exploration for Falsification of Input Signal Class Augmented STL;2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE);2022-10-13

4. Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning;IEEE Transactions on Software Engineering;2021-12-01

5. FIGCPS: Effective Failure-inducing Input Generation for Cyber-Physical Systems with Deep Reinforcement Learning;2021 36th IEEE/ACM International Conference on Automated Software Engineering (ASE);2021-11