52 citations · 56 across the 4 of their papers we have counts for
Showing eess.SYShow all
2 papers · 1 filter
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…
eess.SY2014
On-Line Monitoring for Temporal Logic Robustness
Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos
In this paper, we provide a Dynamic Programming algorithm for on-line monitoring of the state robustness of Metric Temporal Logic specifications with past time operators. We comput…