| Title: |
DSSynth: An automated digital controller synthesis tool for physical plants |
| Authors: |
Abate, Alessandro; Bessa, Iury; Cattaruzza, Dario; Chaves, Lennon; Cordeiro, Lucas; David, Cristina; Kesseli, Pascal; Kroening, Daniel; Polgreen, Elizabeth |
| Source: |
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) Automated Software Engineering (ASE), 2017 32nd IEEE/ACM International Conference on. :919-924 Oct, 2017 |
| Relation: |
2017 32nd IEEE/ACM International Conference on Automated Software Engineering (ASE) |
| Database: |
IEEE Xplore Digital Library |