TY  - RPRT
TI  - Runtime Verification with State Estimation
AU  - Stoller, Scott D.
AU  - Bartocci, Ezio
AU  - Seyster, Justin
AU  - Grosu, Radu
AU  - Havelund, Klaus
AU  - Smolka, Scott A.
AU  - Zadok, Erez
PY  - 2011
UR  - https://ntrs.nasa.gov/citations/20150006072
ID  - 20150006072
ER  -