Login / Signup
Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems.
Lorenzo Clemente
Slawomir Lasota
Ranko Lazic
Filip Mazowiecki
Published in:
ACM Trans. Comput. Log. (2019)
Keyphrases
</>
finite state machines
expert systems
complex systems
management system
distributed systems
data sets
genetic algorithm
artificial intelligence
multimedia
intelligent systems
computer systems
learning systems