2014conference

Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems

Houssam Abbas, Bardh Hoxha, Georgios Fainekos, Koichi Ueda

The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent

Finalist for best student paper award

Topics: Testing; Falsification; and Specification; Risk and Stochasticity

Citation

@inproceedings{abbas2014robustness,
  title = {Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems},
  author = {Abbas, Houssam and Hoxha, Bardh and Fainekos, Georgios and Ueda, Koichi},
  booktitle = {The 4th Annual IEEE International Conference on Cyber Technology in Automation, Control and Intelligent},
  pages = {1--6},
  year = {2014},
  organization = {IEEE},
  award = {Finalist for best student paper award},
  url = {http://www.bhoxha.com/papers/Cyber2014.pdf},
  keywords = {Testing, Falsification, and Specification, Risk and Stochasticity}
}