• Robust Reasoning for Autonomous Cyber-Physical Systems in Dynamic Environments 

      Håkansson, Anne; Saad, Aya; Sadanandan Anand, Akhil; Gjærum, Vilde Benoni; Robinson, Haakon; Seel, Katrine (Peer reviewed; Journal article, 2021)
      Autonomous cyber-physical systems, CPS, in dynamic environments must work impeccably. The cyber-physical systems must handle tasks consistently and trustworthily, i.e., with a robust behavior. Robust systems, in general, ...