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
id sg-nus-scholar.10635-232973
record_format dspace
spelling sg-nus-scholar.10635-2329732022-10-13T05:01:30Z Counterexample generation for probabilistic model checking micro-scale cyber-physical systems Liu, Yang Ma, Yan Yang, Yongsheng Zheng, Tingting DEPARTMENT OF COMPUTER SCIENCE Counterexample Genetic algorithm Micro-scale cyber-physical systems Probabilistic model checking 10.3390/mi12091059 Micromachines 12 9 1059 2022-10-13T05:01:29Z 2022-10-13T05:01:29Z 2021-08-31 Article Liu, Yang, Ma, Yan, Yang, Yongsheng, Zheng, Tingting (2021-08-31). Counterexample generation for probabilistic model checking micro-scale cyber-physical systems. Micromachines 12 (9) : 1059. ScholarBank@NUS Repository. https://doi.org/10.3390/mi12091059 2072-666X https://scholarbank.nus.edu.sg/handle/10635/232973 Attribution 4.0 International https://creativecommons.org/licenses/by/4.0/ MDPI Scopus OA2021
institution National University of Singapore
building NUS Library
continent Asia
country Singapore
Singapore
content_provider NUS Library
collection ScholarBank@NUS
topic Counterexample
Genetic algorithm
Micro-scale cyber-physical systems
Probabilistic model checking
spellingShingle Counterexample
Genetic algorithm
Micro-scale cyber-physical systems
Probabilistic model checking
Liu, Yang
Ma, Yan
Yang, Yongsheng
Zheng, Tingting
Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
description 10.3390/mi12091059
author2 DEPARTMENT OF COMPUTER SCIENCE
author_facet DEPARTMENT OF COMPUTER SCIENCE
Liu, Yang
Ma, Yan
Yang, Yongsheng
Zheng, Tingting
format Article
author Liu, Yang
Ma, Yan
Yang, Yongsheng
Zheng, Tingting
author_sort Liu, Yang
title Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
title_short Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
title_full Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
title_fullStr Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
title_full_unstemmed Counterexample generation for probabilistic model checking micro-scale cyber-physical systems
title_sort counterexample generation for probabilistic model checking micro-scale cyber-physical systems
publisher MDPI
publishDate 2022
url https://scholarbank.nus.edu.sg/handle/10635/232973
_version_ 1749178961270669312

Similar Items