Alkuperäinen tutkimus deterministisestä hallinnasta, autonomisista järjestelmistä ja luotettavasta agentti-AI:sta.
Rajoitteisiin perustuva ohjausarkkitehtuuri suorituskustannusten rajaamiseksi, tilasiirtymien validoimiseksi ja autonomisten agenttivikojen estämiseksi.