Formal analysis of piecewise affine systems through formula-guided refinement

Boyan Yordanov, Jana Tumová, Ivana Černá, Jiri Barnat, and Calin Belta

Details

Publication typeArticle
Published inAutomatica
URLhttp://linkinghub.elsevier.com/retrieve/pii/S0005109812004931
PublisherElsevier
> Publications > Formal analysis of piecewise affine systems through formula-guided refinement