Program Semantics and Verification Technique for AI-Centred Programs.

Solofomampionona Fortunat Rajaona, Ioana Boureanu, Vadim Malvone, Francesco Belardinelli

Browse the full FM paper archive.