Intertwined Global Optimization Based Reachability Analysis

Ibtissem Seghaier, Sofiène Tahar. Intertwined Global Optimization Based Reachability Analysis. In Kamel Barkaoui, Hanifa Boucheneb, Ali Mili, Sofiène Tahar, editors, Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings. Volume 10466 of Lecture Notes in Computer Science, pages 139-154, Springer, 2017. [doi]

@inproceedings{SeghaierT17,
  title = {Intertwined Global Optimization Based Reachability Analysis},
  author = {Ibtissem Seghaier and Sofiène Tahar},
  year = {2017},
  doi = {10.1007/978-3-319-66176-6_10},
  url = {https://doi.org/10.1007/978-3-319-66176-6_10},
  researchr = {https://researchr.org/publication/SeghaierT17},
  cites = {0},
  citedby = {0},
  pages = {139-154},
  booktitle = {Verification and Evaluation of Computer and Communication Systems - 11th International Conference, VECoS 2017, Montreal, QC, Canada, August 24-25, 2017, Proceedings},
  editor = {Kamel Barkaoui and Hanifa Boucheneb and Ali Mili and Sofiène Tahar},
  volume = {10466},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {978-3-319-66176-6},
}