Junyan Qian, Fan Shi, Yong Cai, Haiyu Pan. Approximate Safety Properties in Metric Transition Systems. IEEE Transactions on Reliability, 71(1):221-234, 2022. [doi]
@article{QianSCP22,
title = {Approximate Safety Properties in Metric Transition Systems},
author = {Junyan Qian and Fan Shi and Yong Cai and Haiyu Pan},
year = {2022},
doi = {10.1109/TR.2021.3139616},
url = {https://doi.org/10.1109/TR.2021.3139616},
researchr = {https://researchr.org/publication/QianSCP22},
cites = {0},
citedby = {0},
journal = {IEEE Transactions on Reliability},
volume = {71},
number = {1},
pages = {221-234},
}