Login / Signup
Linear temporal logic for regular cost functions.
Denis Kuperberg
Published in:
STACS (2011)
Keyphrases
</>
linear temporal logic
cost function
temporal logic
model checking
search space reduction
bounded model checking
reinforcement learning
objective function
formal verification