Reachability in Continuous Pushdown VASS.

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

Published in: CoRR (2023)

Keyphrases

computer vision
video sequences
real time
database systems
object recognition
digital libraries
data model
state space
continuous data