Tight bounds for reachability problems on one-counter and pushdown systems.
Jakob Cetti HansenAdam Husted KjelstrømAndreas PavlogiannisPublished in: Inf. Process. Lett. (2021)
Keyphrases
- tight bounds
- linear systems
- management system
- databases
- expert systems
- technical issues
- hidden markov models
- specific problems
- state space
- intelligent systems
- computer systems
- problems involving
- optimization problems
- statistical machine learning
- solving problems
- upper bound
- mobile robot
- evolutionary algorithm
- computational complexity
- multimedia