@misc{indiciae9945996f1b6e,
  title = {Runtime Verification with State Estimation},
  author = {Stoller, Scott D. and Bartocci, Ezio and Seyster, Justin and Grosu, Radu and Havelund, Klaus and Smolka, Scott A. and Zadok, Erez},
  year = {2011},
  url = {https://ntrs.nasa.gov/citations/20150006072},
  note = {Source identifier: 20150006072}
}