ResearchTrend.AI
A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs

Mateo Perez
Fabio Somenzi
Ashutosh Trivedi
ArXivPDFHTML

Papers citing "A PAC Learning Algorithm for LTL and Omega-regular Objectives in MDPs"

4 / 4 papers shown
Title
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Compositional Automata Embeddings for Goal-Conditioned Reinforcement Learning
Beyazit Yalcinkaya
Niklas Lauffer
Marcell Vazquez-Chanlatte
S. Seshia
AI4CE
59
5
0
31 Oct 2024
LTL-Constrained Policy Optimization with Cycle Experience Replay
LTL-Constrained Policy Optimization with Cycle Experience Replay
Ameesh Shah
Cameron Voloshin
Chenxi Yang
Abhinav Verma
Swarat Chaudhuri
S. Seshia
31
1
0
17 Apr 2024
What Are the Odds? Improving the foundations of Statistical Model Checking
What Are the Odds? Improving the foundations of Statistical Model Checking
Tobias Meggendorfer
Maximilian Weininger
Patrick Wienhoft
44
4
0
08 Apr 2024
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
Jun Wang
Hosein Hasanbeig
Kaiyuan Tan
Zihe Sun
Y. Kantaros
35
3
0
28 Nov 2023