Boureanu, Ioana

2 publications

AAAI 2023 Automatically Verifying Expressive Epistemic Properties of Programs Francesco Belardinelli, Ioana Boureanu, Vadim Malvone, Fortunat Rajaona

IJCAI 2017 A Novel Symbolic Approach to Verifying Epistemic Properties of Programs Nikos Gorogiannis, Franco Raimondi, Ioana Boureanu