STIT-Logik
Definition
STIT steht für ‘See To It That’ (Sorge dafür, dass). Es handelt sich um einen …
Formal Methods
Terms tagged with Formal Methods
Epistemische Modallogik
Definition
Die epistemische Modallogik erweitert die klassische Logik um Operatoren, die angeben, …
Dynamische epistemische Logik
Definition
Die Dynamische Epistemische Logik (DEL) erweitert die modale Logik, um zu modellieren, …
Concurrent MetateM
Definition
Concurrent MetateM ist eine hochrangige Spezifikationssprache, die hauptsächlich in der …
Agentenverifikation
Definition
Dies beinhaltet die Verwendung mathematischer Methoden, um sicherzustellen, dass die …