workshop

Benchmarks for Temporal Logic Requirements for Automotive Systems

Bardh Hoxha, Houssam Abbas, Georgios Fainekos

Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{hoxha2014benchmarks,
  title = {Benchmarks for Temporal Logic Requirements for Automotive Systems},
  author = {Hoxha, Bardh and Abbas, Houssam and Fainekos, Georgios},
  booktitle = {Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH)},
  url = {http://www.bhoxha.com/papers/arch2014bench.pdf},
  keywords = {Testing, Falsification, and Specification}
}