@inproceedings{AD7c,
title = {Augmented Complex Zonotopes for Computing Invariants of Affine Hybrid Systems },
author = {Adimoolam, Arvind S. and Dang, Thao},
year = {2017},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017, Proceedings},
pages = {97--115},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {10419},
team = {axe_Mohytos, TEMPO},
}
