Counterexample generation for probabilistic model checking micro-scale cyber-physical systems

Counterexample generation for probabilistic model checking micro-scale cyber-physical systems

10.3390/mi12091059

Saved in:
Bibliographic Details
Main Authors: Liu, Yang, Ma, Yan, Yang, Yongsheng, Zheng, Tingting
Other Authors: DEPARTMENT OF COMPUTER SCIENCE
Format: Article
Published: MDPI 2022
Subjects:
Counterexample
Genetic algorithm
Micro-scale cyber-physical systems
Probabilistic model checking
Online Access:https://scholarbank.nus.edu.sg/handle/10635/232973
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: National University of Singapore
Be the first to leave a comment!
You must be logged in first

Similar Items