Philippe Schnoebelen. Lossy Counter Machines Decidability Cheat Sheet. In Antonín Kucera, Igor Potapov, editors, Reachability Problems, 4th International Workshop, RP 2010, Brno, Czech Republic, August 28-29, 2010. Proceedings. Volume 6227 of Lecture Notes in Computer Science, pages 51-75, Springer, 2010. [doi]
Abstract is missing.