Scalable Static Hybridization Methods for Analysis of Nonlinear Systems (bibtex)

by S Bak, S Bogomolov, TA Henzinger, Taylor T. Johnson and P Prakash

Reference:

S Bak, S Bogomolov, TA Henzinger, Taylor T. Johnson and P Prakash, "Scalable Static Hybridization Methods for Analysis of Nonlinear Systems", In 19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'16), ACM, pp. 155–164, 2016.

Bibtex Entry:

@inproceedings{bak2016hscc,
  title = {Scalable Static Hybridization Methods for Analysis of Nonlinear Systems},
  author = {S Bak and S Bogomolov and TA Henzinger and Taylor T. Johnson and P Prakash},
  year = {2016},
  month = apr,
  booktitle = {19th ACM International Conference on Hybrid Systems: Computation and Control (HSCC'16)},
  pages = {155--164},
  publisher = {ACM},
  doi = {10.1145/2883817.2883837},
  publabel = {C14},
  pubtype = {C},
  dblp = {conf/hybrid/BakBHJP16},
  pdf = "research/bak2016hscc.pdf",
}