AuthorL. BortolussiF. CairoliN. PaolettiS. SmolkaS. Stoller Year of Publication2020 Conference NameProceedings of OVERLAY-20, Second Workshop on Formal Methods for AI Date Published09/2020 Google ScholarBibTeXEndNote X3 XMLEndNote 7 XMLEndnote taggedRIS
