Login / Signup
A complete axiom system for propositional projection temporal logic with cylinder computation model.
Nan Zhang
Zhenhua Duan
Cong Tian
Published in:
Theor. Comput. Sci. (2016)
Keyphrases
</>
temporal logic
modal logic
reinforcement learning
model checking
satisfiability problem
model checker
reactive systems