-A A +A

Publications

Export 2 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is F  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
F
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.
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.

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.