Search results for: Armando Solar-Lezama
Formal Methods in System Design > 2017 > 50 > 1 > 75-95
2015 54th IEEE Conference on Decision and Control (CDC) > 2613 - 2620
International Journal on Software Tools for Technology Transfer > 2013 > 15 > 5-6 > 475-495