The main contribution of SRL to the RoboSAPIENS project will be developing novel uncertainty metrics for DL models and beyond (e.g., robotic environment), and integrating safety validation tools with F&S requirements, leveraging formal methods & DL.
SRL team has a considerable experience in Deep Learning, uncertainty and validation.
Thus it will contribute to the modelling, quantification and assessment of uncertainty for DL and decision making processes, using the theoretical foundations. It will also develop a safety and performance validation through identification, formalization and assessment of requirements.
Contact details
Shaukat Ali
o shaukat@simula.no
o Kristian Augusts gate 23, 0164 Oslo
o +47 474 66 831
Thomas Roehr
o roehr@simula.no
o Kristian Augusts gate 23, 0164 Oslo
o +47 412 42 078
Chengjie Lu
o chengjielu@simula.no
o Kristian Augusts gate 23, 0164 Oslo
o +47 413 16 813
Jiahui Wu
o jiahui@simula.no
o Kristian Augusts gate 23, 0164 Oslo
o +47 920 90 318
Erblin Isaku
o erblin@simula.no
o Kristian Augusts gate 23, 0164 Oslo
o +47 406 27 088