Reference

2017
Compositional Relational Abstraction for Nonlinear Hybrid Systems
Xin Chen, Sergio Mover, and Sriram Sankaranarayanan
EMSOFT 2017: ACM SIGBED International Conference on Embedded Software

Abstract

BibTeX

@string{EMSOFT = "ACM SIGBED International Conference on Embedded Software (EMSOFT)"}
@inproceedings{compositional-emsoft17,
  author = {Xin Chen and Sergio Mover and Sriram Sankaranarayanan},
  title = {Compositional Relational Abstraction for Nonlinear Hybrid Systems},
  booktitle = EMSOFT,
  year = {2017},
}