-A A +A

Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems

Paper titled: Efficiency through Uncertainty: Scalable Formal Synthesis for Stochastic Hybrid Systems accepted in the  22nd ACM International Conference on Hybrid Systems: Computation and Control (HSCC 2019). Authored by Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, and Luca Cardelli.

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.