Recherche originale sur la gouvernance déterministe, les systèmes autonomes et l'IA agentique fiable.
Une architecture fondée sur des contraintes pour limiter le coût d'exécution, valider les transitions d'état et contenir les défaillances d'agents autonomes.