Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
Parasara Sridhar DuggiralaChuchu FanMatthew PotokBolun QiSayan MitraMahesh ViswanathanStanley BakSergiy BogomolovTaylor T. JohnsonLuan Viet NguyenChristian SchillingAndrew SogokonHoang-Dung TranWeiming XiangPublished in: CCA (2016)