Login / Signup

Binary Reachability of Timed-register Pushdown Automata and Branching Vector Addition Systems.

Lorenzo ClementeSlawomir LasotaRanko LazicFilip 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