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.

Automatically Verifying Expressive Epistemic Properties of Programs

Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona. Automatically Verifying Expressive Epistemic Properties of Programs. 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 6245-6252, AAAI Press, 2023. [doi]

Authors

Francesco Belardinelli

This author has not been identified. Look up 'Francesco Belardinelli' in Google

Ioana Boureanu

This author has not been identified. Look up 'Ioana Boureanu' in Google

Vadim Malvone

This author has not been identified. Look up 'Vadim Malvone' in Google

Fortunat Rajaona

This author has not been identified. Look up 'Fortunat Rajaona' in Google
runs on