2 citations · 2 across the 1 of their papers we have counts for
1 paper
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…