Investigación original sobre gobernanza determinista, sistemas autónomos e IA agente fiable.
Una arquitectura de control basada en restricciones para limitar el coste de ejecución, validar transiciones de estado y contener fallos de agentes autónomos.