-A A +A

Publications

Export 2 results:
Author Title [ Type(Desc)] Year
Filters: Author is Lei Bu  [Clear All Filters]
Conference Paper
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M.  2017.  {ARCH-COMP17} Category Report: Hybrid Systems with Piecewise Constant Dynamics. {ARCH17.} 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, collocated with Cyber-Physical Systems Week (CPSWeek) on April 17, 2017 in Pittsburgh, PA, {USA}. :124–133.
Frehse G, Abate A, Adzkiya D, Bu L, Giacobbe M, Mufid MSyifa'Ul, Zaffanella E.  2018.  ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics. ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems.

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.