Complexity of Verification and Synthesis of Threshold Automata.

A. R. Balasubramanian, Javier Esparza, Marijana Lazic

Browse the full ATVA paper archive.