Modular Control Plane Verification via Temporal Invariants.

Timothy Alberdingk Thijm Ryan Beckett Aarti Gupta David Walker

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

Keyphrases

spatio temporal
temporal constraints
spatial and temporal
temporal data
control method
control system
temporal information
modular structure
real time
temporal evolution
three dimensional
hough transform
computer vision
temporal databases
control theory
neural network
temporal consistency
data sets