Formal analysis of piecewise affine systems through formula-guided refinement
Boyan Yordanov, Jana Tumová, Ivana Černá, Jiri Barnat, and Calin Belta
October 2012
In Automatica
Publisher Elsevier
Details
| Type | Article |
| URL | http://linkinghub.elsevier.com/retrieve/pii/S0005109812004931 |