@inproceedings{ijcai2001p81,
  title     = {Mode Estimation of Model-based Programs: Monitoring Systems with Complex Behavior},
  author    = {Williams, Brian C. and Chung, Seung and Gupta, Vineet},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on
               Artificial Intelligence, {IJCAI-01}},
  publisher = {International Joint Conferences on Artificial Intelligence},
  pages     = {579--589},
  year      = {2001},
  url       = {https://ijcai.org/proceedings/2001/81},
}