Automatic Verification of Deontic Interpreted Systems by Model Checking via OBDD's.

Franco Raimondi, Alessio Lomuscio

Browse the full ECAI paper archive.