2014conference

On-line monitoring for temporal logic robustness

Adel Dokhanchi, Bardh Hoxha, Georgios Fainekos

International Conference on Runtime Verification

Topics: Runtime Verification and Monitoring

Citation

@inproceedings{dokhanchi2014line,
  title = {On-line monitoring for temporal logic robustness},
  author = {Dokhanchi, Adel and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {International Conference on Runtime Verification},
  pages = {231--246},
  year = {2014},
  organization = {Springer International Publishing Cham},
  url = {http://www.bhoxha.com/papers/rv2014tech.pdf},
  keywords = {Runtime Verification and Monitoring}
}