Formal analysis of piecewise affine systems through formula-guided refinement

In  Automatica

Publisher  Elsevier

Details

TypeArticle
URLhttp://linkinghub.elsevier.com/retrieve/pii/S0005109812004931
> Publications > Formal analysis of piecewise affine systems through formula-guided refinement