-A A +A

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

TitleARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics
Publication TypeConference Paper
Year of Publication2018
AuthorsFrehse G, Abate A, Adzkiya D, Bu L, Giacobbe M, Mufid MSyifa'Ul, Zaffanella E
EditorFrehse G
Conference NameARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
PublisherEasyChair
URLhttps://easychair.org/publications/paper/bXtM
DOI10.29007/p11g

CONTACT US

Oxford Control and Verification (OXCAV) Group

C/O Department of Computer Science

Wolfson Building, Parks Rd, Oxford OX1 3QD

T: +44 (0) 18656 10767

Education - This is a contributing Drupal Theme
Design by WeebPal.