Alessandro Cimatti, Alberto Griggio, Enrico Magnago. LTL falsification in infinite-state systems. Inf. Comput., 289(Part):104977, 2022. [doi]
@article{CimattiGM22,
title = {LTL falsification in infinite-state systems},
author = {Alessandro Cimatti and Alberto Griggio and Enrico Magnago},
year = {2022},
doi = {10.1016/j.ic.2022.104977},
url = {https://doi.org/10.1016/j.ic.2022.104977},
researchr = {https://researchr.org/publication/CimattiGM22},
cites = {0},
citedby = {0},
journal = {Inf. Comput.},
volume = {289},
number = {Part},
pages = {104977},
}