Originalforskning om deterministisk styring, autonome systemer og pålitelig agentisk AI.
En begrensningsbasert kontrollarkitektur for å begrense utførelseskostnader, validere tilstandsoverganger og begrense feil hos autonome agenter.