Tutorial: software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP (bibtex)

by Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran and Weiming Xiang

Reference:

Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran and Weiming Xiang, "Tutorial: software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP", In IEEE Conference on Control Applications (CCA'16), IEEE, pp. 1024–1029, 2016.

Bibtex Entry:

@inproceedings{duggirala2016msc,
  title = {Tutorial: software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP},
  author = {Parasara Sridhar Duggirala and Chuchu Fan and Matthew Potok and Bolun Qi and Sayan Mitra and Mahesh Viswanathan and Stanley Bak and Sergiy Bogomolov and Taylor T. Johnson and Luan Viet Nguyen and Christian Schilling and Andrew Sogokon and Hoang-Dung Tran and Weiming Xiang},
  year = {2016},
  month = sep,
  booktitle = {IEEE Conference on Control Applications (CCA'16)},
  pages = {1024--1029},
  publisher = {IEEE},
  doi = {10.1109/CCA.2016.7587948},
  publabel = {OC2},
  pubtype = {OC},
  gsid = {14666544104064248628},
  dblp = {conf/IEEEcca/DuggiralaFPQM0B16},
  pdf = "research/duggirala2016msc.pdf",
}