Browsing by Sponsor/Funder Defence Advanced Research Projects Agency (UK)

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
or enter first few letters:  
Showing results 1 to 4 of 4
Issue DateTitleAuthor(s)
1-Nov-2018A CRISPR-Cas9 gene drive targeting doublesex causes complete population suppression in caged Anopheles gambiae mosquitoesKyrou, K; Hammond, AM; Galizi, R; Kranjc, N; Burt, A, et al
10-Nov-2021Formal analysis of neural network-based systems in the aircraft domainKouvaros, P; Kyono, T; Leofante, F; Lomuscio, A; Margineantu, D, et al
28-Nov-2018Reachability analysis for neural agent-environment systemsLomuscio, AR; Akitunde, M; Maganti, L; Pirovano, E; , et al
17-Jul-2019Verification of RNN-based neural agent-environment systemsAkintunde, M; Kevorchian, A; Lomuscio, A; Pirovano, E; , et al