Spatiotemporal Tubes for Reach-Avoid-Stay Specifications✱.

Ratnangshu Das Pushpak Jagtap

Published in: HSCC (2024)

Keyphrases

delay insensitive
space time
spatial and temporal
spatio temporal
mobile robot
information systems
high level
neural network
information retrieval
artificial intelligence
search engine
data model
formal specification