Reachability in Bidirected Pushdown VASS.
Moses GanardiRupak MajumdarAndreas PavlogiannisLia SchützeGeorg ZetzschePublished in: ICALP (2022)
Keyphrases
- state space
- model checking
- transitive closure
- artificial intelligence
- databases
- high dimensional
- dynamic programming
- probabilistic model
- database systems
- data analysis
- data structure
- database applications
- database design
- video sequences
- management system
- sufficient conditions
- relational databases
- knowledge representation