20 citations · 59 across the 20 of their papers we have counts for
1 paper · 1 filter
Diego Figueira, Piotr Hofman, Sławomir Lasota
Timed automata and register automata are well-known models of computation over timed and data words respectively. The former has clocks that allow to test the lapse of time between…