Multi_agent_systems

Lógica STIT

Definition

STIT significa ‘See To It That’ (Verificar que se haga). Es una rama de la …