Reachability in Continuous Pushdown VASS.

A. R. Balasubramanian Rupak Majumdar Ramanathan S. Thinniyam Georg Zetzsche

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

model checking
state space
transitive closure
computer vision
website
real time
data sets
e learning
cooperative
digital libraries
expert systems