-A A +A


Export 4 results:
Author Title Type [ Year(Asc)]
Filters: Author is Majid Zamani  [Clear All Filters]
Holub O, Zamani M, Abate A.  2016.  Efficient {HVAC} controls: {A} symbolic approach. 2016 European Control Conference, {ECC} 2016, Aalborg, Denmark, June 29 - July 1, 2016. :1159–1164.
Zamani M, Tkachev I, Abate A.  2016.  Towards Scalable Synthesis of Stochastic Control Systems. CoRR. abs/1602.01358


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.