2023journal

RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics

Tomoya Yamaguchi, Bardh Hoxha, Dejan Ničković

International Journal on Software Tools for Technology Transfer (STTT), 2023

Topics: Runtime Verification and Monitoring

Citation

@article{STTT2023,
  title = {RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics},
  author = {Tomoya Yamaguchi and Bardh Hoxha and Dejan Ničković},
  booktitle = {International Journal on Software Tools for Technology Transfer (STTT), 2023},
  year = {2023},
  url = {https://www.bhoxha.com/papers/rtamt2023.pdf},
  code = {https://github.com/nickovic/rtamt},
  keywords = {Runtime Verification and Monitoring}
}