On LTL Model Checking for Low-Dimensional Discrete Linear Dynamical Systems.

Toghrul Karimov, Jol Ouaknine, James Worrell

Browse the full MFCS paper archive.