Eliminating Message Counters in Threshold Automata
Papers
Oct 20, 2020
Ilina Stoilkovska, Igor Konnov, Josef Widder, and Florian Zuleger. “Eliminating Message Counters in Threshold Automata,” To appear at ATVA 2020. Read here.