A verification-driven framework for iterative design of controllers
Crossref DOI link: https://doi.org/10.1007/s00165-019-00484-1
Published Print: 2019-11
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Menghi, Claudio http://orcid.org/0000-0001-5303-8481
Spoletini, Paola
Chechik, Marsha
Ghezzi, Carlo
Funding for this research was provided by:
Horizon 2020 Framework Programme (731869)
Text and Data Mining valid from 2019-11-01
Version of Record valid from 2019-06-05
Article History
Received: 4 October 2018
Accepted: 24 May 2019
First Online: 5 June 2019