Login / Signup
Linear Temporal Logic for Regular Cost Functions.
Denis Kuperberg
Published in:
Log. Methods Comput. Sci. (2014)
Keyphrases
</>
linear temporal logic
cost function
temporal logic
model checking
bounded model checking
search space reduction
learning algorithm
probability distribution
modal logic