ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics / Frehse, Goran; Abate, Alessandro; Adzkiya, Dieky; Bu, Lei; Giacobbe, Mirco; Syifa'ul Mufid, Muhammad; Zaffanella, Enea. - ELETTRONICO. - 54(2018), pp. 1-13. ((Intervento presentato al convegno ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems tenutosi a Oxford (UK) nel 13 luglio 2018.
Titolo: | ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics |
Autori: | ZAFFANELLA, Enea (Corresponding) |
Data di pubblicazione: | 2018 |
Serie: | |
Handle: | http://hdl.handle.net/11381/2852228 |
Appare nelle tipologie: | 4.1b Atto convegno Volume |
File in questo prodotto:
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.