Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
> Publications > Formal analysis of piecewise affine systems through formula-guided refinement