Jawher Jerray, Laurent Fribourg, Étienne André. Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge). In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020. Volume 74 of EPiC Series in Computing, pages 197-208, EasyChair, 2020. [doi]
@inproceedings{JerrayFA20,
title = {Guaranteed phase synchronization of hybrid oscillators using symbolic Euler's method (verification challenge)},
author = {Jawher Jerray and Laurent Fribourg and Étienne André},
year = {2020},
doi = {10.29007/l3k2},
url = {https://doi.org/10.29007/l3k2},
researchr = {https://researchr.org/publication/JerrayFA20},
cites = {0},
citedby = {0},
pages = {197-208},
booktitle = {ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), Berlin, Germany, July 12, 2020},
volume = {74},
series = {EPiC Series in Computing},
publisher = {EasyChair},
}