Arch-comp19 category report: Hybrid systems with piecewise constant dynamics

G. Frehse; A. Abate; D. Adzkiya; A. Becchi; L. Bu; A. Cimatti; M. Giacobbe; A. Griggio; S. Mover; M.S. Mufid; I. Riouak; S. Tonetta; E. Zaffanella

doi:10.29007/rjwn

Arch-comp19 category report: Hybrid systems with piecewise constant dynamics

G. Frehse
, A. Abate
, D. Adzkiya
, A. Becchi
, L. Bu
, A. Cimatti
, M. Giacobbe
, A. Griggio
, S. Mover
, M.S. Mufid
, I. Riouak
, S. Tonetta
, E. Zaffanella

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Original language	English
Title of host publication	EPiC Series in Computing
DOIs	https://doi.org/10.29007/rjwn
Publication status	Published - 2019

Access to Document

10.29007/rjwn

Cite this

@inproceedings{30ae0cbf2a7540f28d1bfc6d21db446d,

title = "Arch-comp19 category report: Hybrid systems with piecewise constant dynamics",

author = "G. Frehse and A. Abate and D. Adzkiya and A. Becchi and L. Bu and A. Cimatti and M. Giacobbe and A. Griggio and S. Mover and M.S. Mufid and I. Riouak and S. Tonetta and E. Zaffanella",

year = "2019",

doi = "10.29007/rjwn",

language = "English",

booktitle = "EPiC Series in Computing",

}

TY - GEN

T1 - Arch-comp19 category report: Hybrid systems with piecewise constant dynamics

AU - Frehse, G.

AU - Abate, A.

AU - Adzkiya, D.

AU - Becchi, A.

AU - Bu, L.

AU - Cimatti, A.

AU - Giacobbe, M.

AU - Griggio, A.

AU - Mover, S.

AU - Mufid, M.S.

AU - Riouak, I.

AU - Tonetta, S.

AU - Zaffanella, E.

PY - 2019

Y1 - 2019

UR - https://www.scopus.com/pages/publications/85075831927

U2 - 10.29007/rjwn

DO - 10.29007/rjwn

M3 - Conference contribution

BT - EPiC Series in Computing

ER -