STIT logic
Definition
STIT stands for ‘See To It That’. It is a branch of modal logic used …
Formal_methods
Epistemic modal logic
Definition
Epistemic modal logic extends classical logic with operators that denote what an agent …
Concurrent MetateM
Definition
Concurrent MetateM is a high-level specification language used primarily in robotics and …
Agent verification
Definition
This involves using mathematical methods to ensure that an agent’s actions adhere …