Ouaknine, Joël Group J. Ouaknine, Max Planck Institute for Software Systems, Max Planck Society;
https://rdcu.be/d68Nf (Publisher version)
s10703-024-00444-3.pdf (Publisher version), 3MB
Lefaucheux, E., Ouaknine, J., Purser, D., & Worrell, J. (2024). Porous Invariants for Linear Systems. Formal Methods in System Design, 63, 235-271. doi:10.1007/s10703-024-00444-3.