Sign in
Symbolic Determinisation of Extended Automata.
Thierry Jéron
Hervé Marchand
Vlad Rusu
Published in:
IFIP TCS (2006)
Keyphrases
</>
finite automata
regular expressions
mobile robot
symbolic representation
real time
data sets
high level
multiscale
cellular automata