Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications

DOI10.1007/978-3-540-78929-1_39zbMath1144.93321OpenAlexW1568845987MaRDI QIDQ3523135

Could not fetch data.

Publication date: 2 September 2008

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-78929-1_39

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.

This page was built for publication: Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications