2016workshop

Pareto front exploration for parametric temporal logic specifications of cyber-physical systems

Bardh Hoxha, Georgios Fainekos

Workshop on Monitoring and Testing of Cyber-Physical Systems

Topics: Testing; Falsification; and Specification

Citation

@inproceedings{hoxha2016pareto,
  title = {Pareto front exploration for parametric temporal logic specifications of cyber-physical systems},
  author = {Hoxha, Bardh and Fainekos, Georgios},
  booktitle = {Workshop on Monitoring and Testing of Cyber-Physical Systems},
  year = {2016},
  url = {http://www.bhoxha.com/papers/MTCPS16_1.pdf},
  keywords = {Testing, Falsification, and Specification}
}