35 citations · 151 across the 21 of their papers we have counts for
1 paper · 2 filters
Slawomir Lasota, Igor Walukiewicz
A notion of alternating timed automata is proposed. It is shown that such automata with only one clock have decidable emptiness problem over finite words. This gives a new class of…