Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements Conference Proceeding

Overview

CU Boulder Authors

Trivedi, Ashutosh

publication date

February 7, 2023

Date in CU Experts

February 2, 2024 12:22 PM

Full Author List

Dole K; Gupta A; Komp J; Krishna S; Trivedi A

Full Editor List

Williams B; Chen Y; Neville J

author count

5

citation count

0

published in

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

presented at event

37th AAAI Conference on Artificial Intelligence (AAAI) / 35th Conference on Innovative Applications of Artificial Intelligence / 13th 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

14792

end page

14800