Correct-by-synthesis reinforcement learning with temporal logic constraints.

Min Wen Rüdiger Ehlers Ufuk Topcu

Published in: IROS (2015)

Keyphrases

temporal logic
reinforcement learning
model checking
automata theoretic
dynamic constraints

satisfiability problem
modal logic
concurrent systems
verification method
mazurkiewicz traces

linear temporal logic
temporal knowledge
computation tree logic
reactive systems
temporally extended

constraint satisfaction
transition systems
model checker
temporal constraints
state space