Arne Meier, Sebastian Ordyniak, Ramanujan Sridharan, Irena Schindler. Backdoors for Linear Temporal Logic. In Jiong Guo, Danny Hermelin, editors, 11th International Symposium on Parameterized and Exact Computation, IPEC 2016, August 24-26, 2016, Aarhus, Denmark. Volume 63 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. [doi]
Abstract is missing.