Lógica STIT
Definition
STIT significa ‘See To It That’ (Verificar que se haga). Es una rama de la …
Formal Methods
Terms tagged with 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 …
Lógica Epistémica Dinámica
Definition
La Lógica Epistémica Dinámica (DEL) extiende la lógica modal para modelar cómo evoluciona …
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 …