Relating Reachability Problems in Timed and Counter Automata.

Christoph Haase Joël Ouaknine James Worrell

Published in: Fundam. Informaticae (2016)

Keyphrases

optimization problems
problems involving
social networks
search algorithm
cellular automata
benchmark problems
neural network
artificial intelligence
multiscale
linear programming
application domains
finite state machines
related problems