• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

Learning Temporal Logic Properties: an Overview of Two Recent Methods.

Jean-Raphaël GaglioneRajarshi RoyNasim BaharisangariDaniel NeiderZhe XuUfuk Topcu
Published in: CoRR (2022)
Keyphrases
  • temporal logic
  • model checking
  • learning algorithm
  • qualitative and quantitative
  • artificial intelligence
  • spatial information
  • reinforcement learning
  • satisfiability problem
  • mazurkiewicz traces