8 citations · 18 across the 10 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.FL2017
Synchronizing Data Words for Register Automata
Karin Quaas, Mahsa Shirmohammadi
Register automata (RAs) are finite automata extended with a finite set of registers to store and compare data from an infinite domain. We study the concept of synchronizing data wo…
cs.LO2017
Revisiting Reachability in Timed Automata
Karin Quaas, Mahsa Shirmohammadi, James Worrell
We revisit a fundamental result in real-time verification, namely that the binary reachability relation between configurations of a given timed automaton is definable in linear ari…