C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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