Feedback Control for Statistical Model Checking of Cyber-Physical Systems.

Kenan Kalajdzic, Cyrille Jgourel, Anna Lukina, Ezio Bartocci, Axel Legay, Scott A. Smolka, Radu Grosu

Browse the full ISoLA paper archive.