-A A +A

Publications

Export 1 results:
Author Title Type [ Year(Asc)]
Filters: Author is Luca Bortolussi  [Clear All Filters]
2017
Laurenti L, Abate A, Bortolussi L, Cardelli L, Ceska M, Kwiatkowska MZ.  2017.  Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20, 2017. :55–64.

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.