,
International Symposium on Mathematical Theory of Networks and Systems
Scientific Computing

Habets, L.& Belta, C. (2010). Temporal logic control for piecewise-affine hybrid systems on polytopes. Proceedings of International Conference on Mathematical Theory of Networks and Systems 2010 (19), 195–202.