Mining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems

Bardh Hoxha, Adel Dokhanchi, Georgios Fainekos

One of the advantages of adopting a Model Based Development (MBD) process is that it enables testing and verification at early stages of development. However, it is often desirable…