Lógica STIT
Definition
STIT significa ‘See To It That’ (Verificar que se haga). Es una rama de la …
Formal_methods
Lógica modal epistémica
Definition
La lógica modal epistémica extiende la lógica clásica con operadores que denotan lo que …
Concurrent MetateM
Definition
Concurrent MetateM es un lenguaje de especificación de alto nivel utilizado …
Verificación de agente
Definition
Esto implica el uso de métodos matemáticos para asegurar que las acciones de un agente …