Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

In  Proceedings of the 11th international workshop on Hybrid Systems (HSCC)

Publisher  Springer-Verlag

Details

TypeInproceedings
URLpdf/hscc08.pdf
Pages542–555
ISBN978-3-540-78928-4
AddressBerlin, Heidelberg
> Publications > Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications