@inproceedings{nishitani2023checkmate,
  title = {Checkmate: Fault Timing Localization for Multi-Robot Scenarios},
  author = {Nishitani, Ippei and Yamaguchi, Tomoya and Hoxha, Bardh},
  booktitle = {2023 IEEE 19th International Conference on Automation Science and Engineering (CASE)},
  pages = {1--8},
  year = {2023},
  organization = {IEEE},
  url = {https://www.bhoxha.com/papers/CASE2023.pdf},
  keywords = {Runtime Verification and Monitoring}
}