Policy Optimization with Linear Temporal Logic Constraints.

Cameron Voloshin Hoang Minh Le Swarat Chaudhuri Yisong Yue

Published in: NeurIPS (2022)

Keyphrases

linear temporal logic
constrained optimization
model checking
constraint satisfaction
bounded model checking
temporal logic
object oriented
optimization problems
knowledge base
optimal policy