Correct-by-construction advanced driver assistance systems based on a cognitive architecture by Eiras, F, Lahijanian, M, Kwiatkowska, M

Certifying ensembles: a general certification theory with s-lipschitzness by Petrov, A, Eiras, F, Sanyal, A, Torr, PHS, Bibi, A

Position: near to mid-term risks and opportunities of open-source generative AI by Eiras, F, Petrov, A, Vidgen, B, Schroeder de Witt, C, Pizzati, F, Elkins, K, Mukhopadhyay, S, Bibi, A, Csaba, B, Steibel, F, Barez, F, Smith, G, Guadagni, G, Chun, J, Cabot, J, Imperial, JM, Nolazco-Flores, JA, Landay, L, Jackson, M, Röttger, P, Torr, PHS, Darrell, T, Lee, YS, Foerster, J

Risks and opportunities of open-source generative AI by Eiras, F, Petrov, A, Vidgen, B, Schroeder de Witt, C, Pizzati, F, Elkins, K, Mukhopadhyay, S, Bibi, A, Purewal, A, Csaba, B, Steibel, F, Keshtkar, F, Barez, F, Smith, G, Guadagni, G, Chun, J, Cabot, J, Imperial, JM, Nolazco-Flores, JA, Landay, L, Jackson, M, Torr, PHS, Darrell, T, Lee, YS, Foerster, J