2020conference

Tltk: A toolbox for parallel robustness computation of temporal logic specifications

Joseph Cralley, Ourania Spantidi, Bardh Hoxha, Georgios Fainekos

Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6--9, 2020, Proceedings 20

Topics: Runtime Verification and Monitoring; Testing; Falsification; and Specification

Citation

@inproceedings{cralley2020tltk,
  title = {Tltk: A toolbox for parallel robustness computation of temporal logic specifications},
  author = {Cralley, Joseph and Spantidi, Ourania and Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {Runtime Verification: 20th International Conference, RV 2020, Los Angeles, CA, USA, October 6--9, 2020, Proceedings 20},
  pages = {404--416},
  year = {2020},
  organization = {Springer International Publishing},
  code = {https://bitbucket.org/versyslab/tltk/src/master/},
  url = {http://www.bhoxha.com/papers/RV2020.pdf},
  keywords = {Runtime Verification and Monitoring, Testing, Falsification, and Specification}
}