Policy Optimization with Linear Temporal Logic Constraints.

Cameron Voloshin Hoang Minh Le Swarat Chaudhuri Yisong Yue

Published in: CoRR (2022)

Keyphrases

linear temporal logic
constrained optimization
temporal logic
optimization problems
machine learning
objective function
np hard
optimal policy
constraint satisfaction
dynamic programming
model checking
integer programming
bounded model checking