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

2 citations · 2 across the 1 of their papers we have counts for

collaborators

1 paper

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…