Dynamic Data Structures for Timed Automata Acceptance.

Alejandro Grez Filip Mazowiecki Michal Pilipczuk Gabriele Puppis Cristian Riveros

Published in: Algorithmica (2022)

Keyphrases

data structure
timed automata
neural network
real world
machine learning
database systems
dynamic environments
model checking
theorem prover
dynamically changing