Average Reward Reinforcement Learning for Omega-Regular and Mean-Payoff Objectives

Documenti analoghi

• A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs
  di: Perez, Mateo, et al.
  Pubblicazione: (2023)
• BarrierBench: Evaluating Large Language Models for Safety Verification in Dynamical Systems
  di: Taheri, Ali, et al.
  Pubblicazione: (2025)
• Explaining Hitori Puzzles: Neurosymbolic Proof Staging for Sequential Decisions
  di: Pacheco, Maria Leonor, et al.
  Pubblicazione: (2025)
• Regret-Free Reinforcement Learning for LTL Specifications
  di: Majumdar, Rupak, et al.
  Pubblicazione: (2024)
• LLMs as Probabilistic Minimally Adequate Teachers for DFA Learning
  di: Chen, Lekai, et al.
  Pubblicazione: (2024)