Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
Boyan Yordanov and Calin Belta
2008
In Proceedings of the 11th international workshop on Hybrid Systems (HSCC)
Publisher Springer-Verlag
Details
| Type | Inproceedings |
| URL | pdf/hscc08.pdf |
| Pages | 542–555 |
| ISBN | 978-3-540-78928-4 |
| Address | Berlin, Heidelberg |
Related People
Share
