TY  - RPRT
TI  - Model Checking as Control: Feedback Control for Statistical Model Checking of Cyber-Physical Systems
AU  - Kenan Kalajdzic
AU  - Cyrille Jegourel
AU  - Ezio Bartocci
AU  - Axel Legay
AU  - Scott A. Smolka
AU  - Radu Grosu
PY  - 2015
UR  - https://arxiv.org/abs/1504.06660
ID  - 1504.06660
ER  -