A PAC Learning Algorithm for LTL and Omega-Regular Objectives in MDPs Conference Proceeding

Overview

CU Boulder Authors

publication date

February 20, 2024

Date in CU Experts

December 31, 2024 10:46 AM

Full Author List

Perez M; Somenzi F; Trivedi A

Full Editor List

Wooldridge M; Dy J; Natarajan S

author count

3

citation count

1

published in

Proceedings of the ... AAAI Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence Journal

presented at event

38th AAAI Conference on Artificial Intelligence (AAAI) / 36th Conference on Innovative Applications of Artificial Intelligence / 14th Symposium on Educational Advances in Artificial Intelligence Conference

Other Profiles

International Standard Serial Number (ISSN)

2159-5399

Electronic International Standard Serial Number (EISSN)

2374-3468

Additional Document Info

start page

21510

end page

21517