Jingyi Wang, Jun Sun 0001, Shengchao Qin, Cyrille Jégourel. Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement. IEEE Trans. Software Eng., 47(1):189-203, 2021. [doi]
@article{WangSQJ21,
title = {Automatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement},
author = {Jingyi Wang and Jun Sun 0001 and Shengchao Qin and Cyrille Jégourel},
year = {2021},
doi = {10.1109/TSE.2018.2886898},
url = {https://doi.org/10.1109/TSE.2018.2886898},
researchr = {https://researchr.org/publication/WangSQJ21},
cites = {0},
citedby = {0},
journal = {IEEE Trans. Software Eng.},
volume = {47},
number = {1},
pages = {189-203},
}