Learning probabilistic models for model checking: an evolutionary approach and an empirical study-Reference-Cited by-同舟云学术

Learning probabilistic models for model checking: an evolutionary approach and an empirical study

Published:2018-04-25 Issue:6 Volume:20 Page:689-704
ISSN:1433-2779
Container-title:International Journal on Software Tools for Technology Transfer
language:en
Short-container-title:Int J Softw Tools Technol Transfer

Author:

Wang Jingyi,Sun Jun,Yuan Qixia,Pang Jun

Publisher

Springer Science and Business Media LLC

Subject

Information Systems,Software

Link

http://link.springer.com/article/10.1007/s10009-018-0492-7/fulltext.html

Reference63 articles.

1. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)

2. Angluin, D.: Identifying languages from stochastic examples (1988). Technical Report YALEU/DCS/RR-614 (Yale University, Department of Computer Science)

3. Baier, C., Katoen, J.-P., et al.: Principles of Model Checking, vol. 26202649. MIT Press, Cambridge (2008)

4. Bauer, A., Leucker, M., Schallhart, C.: Monitoring of real-time properties. In: FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science, pp. 260–272. Springer (2006)

5. Bianco, A., De Alfaro, L.: Model checking of probabilistic and nondeterministic systems. In: Foundations of Software Technology and Theoretical Computer Science, pp. 499–513. Springer (1995)

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

1. Particle Swarm Optimization-Based Model Abstraction and Explanation Generation for a Recurrent Neural Network;Algorithms;2024-05-13

2. Model Repair Revamped;From Reactive Systems to Cyber-Physical Systems;2019

3. Software quality tools and techniques presented in FASE’17;International Journal on Software Tools for Technology Transfer;2018-09-03

4. Towards ‘Verifying’ a Water Treatment System;Formal Methods;2018