Journal publications

• Håkansson, Anne; Saad, Aya; Sadanandan Anand, Akhil; Gjærum, Vilde Benoni; Robinson, Haakon; Seel, Katrine. (2021) Robust Reasoning for Autonomous Cyber-Physical Systems in Dynamic Environments. Procedia Computer Science. vol. 192.
• Sadanandan Anand, Akhil; Seel, Katrine; Gjærum, Vilde Benoni; Håkansson, Anne; Robinson, Haakon; Saad, Aya. (2021) Safe Learning for Control using Control Lyapunov Functions and Control Barrier Functions: A Review. Procedia Computer Science. vol. 192.