Research output per year
Research output per year
Search results
-
2018
Safe, Automated and Formal Synthesis of Digital Controllers for Continuous Plants
Abate, A., Bessa, I., Cattaruzza, D., Cordeiro, L., David, C., Kesseli, P., Kroening, D. & Polgreen, E., 18 May 2018. 2 p.Research output: Contribution to conference › Abstract › peer-review