Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Program Synthesis for Program Analysis. | 0 | 0.34 | 2018 |
| Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. | 6 | 0.48 | 2017 |
| Automated Formal Synthesis Of Digital Controllers For State-Space Physical Plants | 6 | 0.43 | 2017 |
| Assisted Coverage Closure. | 0 | 0.34 | 2016 |