Modular Control Plane Verification via Temporal Invariants.

Timothy Alberdingk Thijm Ryan Beckett Aarti Gupta David Walker

Published in: CoRR (2022)

Keyphrases

spatio temporal
temporal reasoning
model checking
neural network
temporal information
reinforcement learning
control system
space time
petri net
data acquisition
optimal control
formal verification
temporal dimension
quasi invariant