Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mohammad Mahdi Mahboob"'
Autor:
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
Publikováno v:
EPiC Series in Computing.
This report presents the results from the 2022 friendly competition in the ARCH work- shop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::445a2659d9f31c85390997d7958aef80
https://doi.org/10.29007/fhnk
https://doi.org/10.29007/fhnk
