Dynamic Data Structures for Timed Automata Acceptance.

Alejandro Grez Filip Mazowiecki Michal Pilipczuk Gabriele Puppis Cristian Riveros

Published in: IPEC (2021)

Keyphrases

data structure
timed automata
model checking
insertions and deletions
reachability analysis
databases
data mining
data model
database
data sets
artificial intelligence
decision trees
real time systems
efficient data structures