-
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
-
, Communication Engineering, Computer/Data Science, Mathematics, or equivalent; – knowledge in artificial intelligence, image/signal processing, remote sensing, and radar remote sensing. Where to apply Website
-
Engineering, Communication Engineering, Computer/Data Science, Mathematics or equivalents; – background in artificial intelligence, image/signal processing, remote sensing, passive/active sensors. Where
-
, specifically for analyzing failure propagation. MBSA is based on the adoption of a formal, mathematical model of the system and on a tool-supported methodology to assist the generation of safety artifacts. State