Ramanujan Sridharan

Recent Publications

Backdoors for Linear Temporal Logic
11th International Symposium on Parameterized and Exact Computation (IPEC 2016) (Jiong Guo and Danny Hermelin), volume 63 of Leibniz International Proceedings in Informatics (LIPIcs), pages 23:1-23:17, 2016, Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.