28 citations · 53 across the 6 of their papers we have counts for
1 paper · 1 filter
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger +1
Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fie…