Originalforskning om deterministisk styrning, autonoma system och pålitlig agentisk AI.
En begränsningsbaserad kontrollarkitektur för att begränsa exekveringskostnad, validera tillståndsövergångar och innehålla autonoma agentsfel.