@paves

Parameterized Complexity of Safety of Threshold Automata

. 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

Links and resources

Tags

community

  • @paves
  • @dblp
@paves's tags highlighted