activity
20122025
most citedAutomatically 'Verifying' Discrete-Time Complex Systems through Learning, Abstraction and Refinement

6 citations · 13 across the 6 of their papers we have counts for

collaborators
Showing eess.SYShow all

1 paper · 1 filter

eess.SY2015★ 2 cited

Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems

Kenan Kalajdzic, Cyrille Jegourel, Ezio Bartocci +3

We introduce feedback-control statistical system checking (FC-SSC), a new approach to statistical model checking that exploits principles of feedback-control for the analysis of cy…