@inproceedings{905386,
author = {Yordanov, Boyan and Tůmová, Jana and Belta, Calin and Černá, Ivana and Barnat, Jiří},
address = {Neuveden},
booktitle = {Proceedings of of the 49th IEEE Conference on Decision and Control (CDC)},
keywords = {Automata; Genetic regulatory systems; Hybrid Systems;},
language = {eng},
location = {Neuveden},
isbn = {978 -1 -4244 -7744 -9},
pages = {5899 -5904},
publisher = {Omnipress for IEEE Control Systems Society},
title = {Formal Analysis of Piecewise Affine Systems through Formula -Guided Refinement},
year = {2010}
}