2023conference

Timed partial order inference algorithm

Kandai Watanabe, Georgios Fainekos, Bardh Hoxha, Morteza Lahijanian, Danil Prokhorov, Sriram Sankaranarayanan, Tomoya Yamaguchi

Proceedings of the International Conference on Automated Planning and Scheduling

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{watanabe2023timed,
  title = {Timed partial order inference algorithm},
  author = {Watanabe, Kandai and Fainekos, Georgios and Hoxha, Bardh and Lahijanian, Morteza and Prokhorov, Danil and Sankaranarayanan, Sriram and Yamaguchi, Tomoya},
  booktitle = {Proceedings of the International Conference on Automated Planning and Scheduling},
  volume = {33},
  number = {1},
  pages = {639--647},
  year = {2023},
  code = {https://github.com/watakandai/tpossp},
  url = {https://ar5iv.org/pdf/2302.02501},
  keywords = {Testing, Falsification, and Specification}
}