Simone Smeraldo, Riccardo Desimini, Maria Prandini. An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems. In European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022. pages 572-579, IEEE, 2022. [doi]
@inproceedings{SmeraldoDP22,
title = {An abstraction and refinement computational approach to safety verification of discrete time nonlinear systems},
author = {Simone Smeraldo and Riccardo Desimini and Maria Prandini},
year = {2022},
doi = {10.23919/ECC55457.2022.9838460},
url = {https://doi.org/10.23919/ECC55457.2022.9838460},
researchr = {https://researchr.org/publication/SmeraldoDP22},
cites = {0},
citedby = {0},
pages = {572-579},
booktitle = {European Control Conference, ECC 2022, London, United Kingdom, July 12-15, 2022},
publisher = {IEEE},
isbn = {978-3-9071-4407-7},
}