STIT-logica
Definition
STIT staat voor ‘See To It That’ (Zorg ervoor dat). Het is een tak van de …
Formal Methods
Terms tagged with Formal Methods
Epistemische modale logica
Definition
Epistemische modale logica breidt klassieke logica uit met operatoren die aanduiden wat …
Dynamische epistemische logica
Definition
Dynamische epistemische logica (DEL) breidt modale logica uit om te modelleren hoe kennis …
Concurrent MetateM
Definition
Concurrent MetateM is een hoogwaardige specificatietaal die voornamelijk wordt gebruikt …
Agentverificatie
Definition
Dit omvat het gebruik van wiskundige methoden om ervoor te zorgen dat de acties van een …