Login / Signup
Bounded Timed Propositional Temporal Logic with Past Captures Timeline-based Planning with Bounded Constraints.
Dario Della Monica
Nicola Gigante
Angelo Montanari
Pietro Sala
Guido Sciavicco
Published in:
IJCAI (2017)
Keyphrases
</>
temporal logic
model checking
temporally extended goals
modal logic
verification method
dynamic constraints
temporally extended
state space
planning problems
satisfiability problem
linear temporal logic
computation tree logic
automata theoretic
petri net
concurrent systems