Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Idriss Riouak"'
Publikováno v:
2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::6b5410e753144cebf70687ad318c7519
https://doi.org/10.1109/scam55253.2022.00033
https://doi.org/10.1109/scam55253.2022.00033
Autor:
Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'ul Mufid, Idriss Riouak, Stefano Tonetta, Enea Zaffanella
This report presents the results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2cd6752339db7b13f3ee1f38c425350c
https://ora.ox.ac.uk/objects/uuid:ccec6497-edeb-457c-b095-f4248837ad3f
https://ora.ox.ac.uk/objects/uuid:ccec6497-edeb-457c-b095-f4248837ad3f
Autor:
Anna Becchi, Muhammad Syifa'ul Mufid, Mirco Giacobbe, Alberto Griggio, Stefano Tonetta, Lei Bu, Dieky Adzkiya, Sergio Mover, Alessandro Abate, Goran Frehse, Enea Zaffanella, Idriss Riouak, Alessandro Cimatti
Publikováno v:
ARCH@CPSIoTWeek
This report presents results of a friendly competition for formal verification of continuous and hybrid systems with piecewise constant dynamics. The friendly competition took place as part of the workshop Applied Verification for Continuous and Hybr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c19e7bd9d5f000e9f9eca670f2da49b8
https://doi.org/10.29007/n3km
https://doi.org/10.29007/n3km