activity
20142016
most citedMining Parametric Temporal Logic Properties in Model Based Design for Cyber-Physical Systems

52 citations · 56 across the 4 of their papers we have counts for

collaborators
Showing 2016 · eess.SYShow all

1 paper · 2 filters

eess.SY2016★ 4 cited

Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical int…