-
of their behavior. A particular focus of the thesis will be on the design and monitoring of collective systems populated by AI generative agents, and on improving their theory of mind, lifelong learning and social
-
specific focus on symbolic model checking methods using satisfiability and satisfiability modulo theories solvers as symbolic reasoning engines. Importantly, in addition to researching novel theoretical
-
theory, contributing to the understanding and design of novel materials for extreme environments and to improved modelling of nuclear processes. Expected outcomes include validated computational tools, new
Searches related to coding theory
Enter an email to receive alerts for coding-theory positions