Automatic Verification of Knowledge and Time with NuSMV.

Alessio Lomuscio, Charles Pecheur, Franco Raimondi

Browse the full IJCAI paper archive.