Mining parametric temporal logic properties in model-based design for cyber-physical systems
Crossref DOI link: https://doi.org/10.1007/s10009-017-0447-4
Published Online: 2017-02-03
Published Print: 2018-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Hoxha, Bardh
Dokhanchi, Adel
Fainekos, Georgios
License valid from 2017-02-03