Login / Signup
Program Logics for Sequential Higher-Order Control.
Martin Berger
Published in:
FSEN (2009)
Keyphrases
</>
higher order
control program
expressive power
high order
higher order logic
control system
modal logic
optimal control
inference rules
machine learning
knowledge base
similarity measure
markov random field
test cases
control method
static analysis