Symbolic Domains and Reachability for Nets with Trajectories.

Loïc Hélouët Prerak Contractor

Published in: Petri Nets (2024)

Keyphrases

high level
transitive closure
real world
computer vision
spatio temporal
dynamic environments
multiple domains
connectionist models
real time
data mining
information retrieval
artificial intelligence
three dimensional
image sequences
state space