@inproceedings{JJRW25,
  title={{Scalable MLTL Runtime Monitoring and Satisfiability via Bit-Vector Encoding}},
  author={Johannsen, Christopher and Jones, Phillip H. and Rozier, Kristin Yvonne and Wongpiromsarn, Tichakorn},
  booktitle={Formal Methods in Computer-Aided Design (FMCAD)},
  year={2025},
  organization={TU Wien Academic Press}
}