Login / Signup
Discrete Linear Temporal Logic with Knowing-Value Operator.
Kaiyang Lin
Published in:
LORI (2021)
Keyphrases
</>
linear temporal logic
temporal logic
model checking
translation invariant
bounded model checking
machine learning
reinforcement learning
objective function
multi agent systems
orders of magnitude
modal logic
finite number