Elena Botoeva

Efficient Verification of ReLU-Based Neural Networks via Dependency Analysis

Elena Botoeva, Panagiotis Kouvaros, Jan Kronqvist et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2020 · 110 citations · Full text

Computing, Computer Science, Artificial Intelligence +9

OBDA Beyond Relational DBs: A Study for MongoDB

Elena Botoeva, Diego Calvanese, Benjamin Cogrel et al. · Kent Academic Repository (University of Kent) · 2016 · 31 citations

Computing, Computer Science, Information Technology +11

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau et al. · EPiC series in computing · 2020 · 26 citations · Full text

Computing, Computer Science, Systems Engineering +16

Formal verification of neural agents in non-deterministic environments

Michael E. Akintunde, Elena Botoeva, Panagiotis Kouvaros et al. · Autonomous Agents and Multi-Agent Systems · 2021 · 25 citations · Full text

Computing, Autonomous Systems, Computer Science +15

Exchanging description logic knowledge bases

Marcelo Arenas, Elena Botoeva, Diego Calvanese et al. · UvA-DARE (University of Amsterdam) · 2012 · 24 citations

Computing, Computer Science, Databases +9