Synchronized CTL over One-Counter Automata. - Shaull Almagor; Daniel Assa; Udi Boker (FSTTCS, 2023)