Login / Signup

Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications.

Mingyu CaiMakai MannZachary SerlinKevin LeahyCristian-Ioan Vasile
Published in: CoRR (2022)
Keyphrases
  • learning process
  • bounded model checking
  • search space
  • np hard
  • linear temporal logic
  • machine learning
  • general purpose
  • orders of magnitude
  • integer programming