Parameterized Complexity of Safety of Threshold Automata
A. Balasubramanian. 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2020), volume 182 of Leibniz International Proceedings in Informatics (LIPIcs), page 37:1--37:15. Dagstuhl, Germany, Schloss Dagstuhl--Leibniz-Zentrum für Informatik, (2020)#conference.
DOI: 10.4230/LIPIcs.FSTTCS.2020.37