Login / Signup
Discounting in LTL.
Shaull Almagor
Udi Boker
Orna Kupferman
Published in:
CoRR (2014)
Keyphrases
</>
model checking
temporal logic
linear temporal logic
bounded model checking
deterministic automata
linear time temporal logic
normalized maximum likelihood
change point detection
finite automata
reinforcement learning
relational databases
data sets
data mining
decision making
modal logic
formal verification