Preserving liveness: Comments on "safety and liveness from a methodological point of view"

Michael Ray, Yves C. Martin

Proceedings of SPIE - The International Society for Optical Engineering

Sonia Cafieri, Jon Lee, et al.

Journal of Global Optimization

Limin Hu

IEEE/ACM Transactions on Networking

Khaled A.S. Abdel-Ghaffar

IEEE Trans. Inf. Theory