,
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. In Proceedings of International Conference on Mathematical Theory of Networks and Systems 2010 (19) (pp. 195–202).