Items where Author / Artist / Editor is "Boureanu, Ioana"
![]() | See full list of headings |
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item
Number of items: 1.
Conference or Workshop Item
Gorogiannis, Nikos ORCID: https://orcid.org/0000-0001-8660-6609, Raimondi, Franco
ORCID: https://orcid.org/0000-0002-9508-7713 and Boureanu, Ioana
(2017)
A novel symbolic approach to verifying epistemic properties of programs.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence.
In: Twenty-Sixth International Joint Conference on Artificial Intelligence, 19-25 August 2017, Melbourne, Australia.
ISBN 9780999241103.
[Conference or Workshop Item]
(doi:10.24963/ijcai.2017/30)