ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant
Dynamics

Goran, Frehse; Alessandro, Abate; Dieky, Adzkiya; Lei, Bu; Mirco, Giacobbe; Muhammad Syifa'ul Mufid,; Zaffanella, Enea

CINECA IRIS Institutional Research Information System

IRIS è la soluzione IT che facilita la raccolta e la gestione dei dati relativi alle attività e ai prodotti della ricerca. Fornisce a ricercatori, amministratori e valutatori gli strumenti per monitorare i risultati della ricerca, aumentarne la visibilità e allocare in modo efficace le risorse disponibili.

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:	Goran Frehse (Corresponding) Alessandro Abate (Corresponding) Dieky Adzkiya (Corresponding) Lei Bu (Corresponding) Mirco Giacobbe (Corresponding) Muhammad Syifa'ul Mufid (Corresponding) ZAFFANELLA, Enea (Corresponding) mostra contributor esterni nascondi contributor esterni
Data di pubblicazione:	2018
Serie:	EPIC SERIES IN COMPUTING
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.

Utilizza questo identificativo per citare o creare un link a questo documento:
http://hdl.handle.net/11381/2852228

Citazioni

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.