External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formally Verified Solution Methods for Markov Decision Processes

Maximilian Schäffeler, Mohammad Abdulaziz. Formally Verified Solution Methods for Markov Decision Processes. In Brian Williams 0001, Yiling Chen 0001, Jennifer Neville, editors, Thirty-Seventh AAAI Conference on Artificial Intelligence, AAAI 2023, Thirty-Fifth Conference on Innovative Applications of Artificial Intelligence, IAAI 2023, Thirteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2023, Washington, DC, USA, February 7-14, 2023. pages 15073-15081, AAAI Press, 2023. [doi]

Authors

Maximilian Schäffeler

This author has not been identified. Look up 'Maximilian Schäffeler' in Google

Mohammad Abdulaziz

This author has not been identified. Look up 'Mohammad Abdulaziz' in Google
runs on