Sign in
Auxiliary Variables in TLA+.
Leslie Lamport
Stephan Merz
Published in:
CoRR (2017)
Keyphrases
</>
auxiliary variables
temporal logic
higher order
deformable models
graph cuts
half quadratic
model checking
image analysis
face recognition
dynamic programming
image classification
high order