@inproceedings{JR26,
  title={{Shrinking Mission-time LTL Runtime Monitors with Equality Saturation}},
  author={Johannsen, Christopher and Rozier, Kristin Yvonne},
  booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
  year={2026},
  organization={TU Wien Academic Press}
}