Originalforskning om deterministisk styring, autonome systemer og pålidelig agentbaseret AI.
En begrænsningsbaseret kontrolarkitektur til at begrænse udførelsesomkostninger, validere tilstandsovergange og inddæmme autonome agentfejl.