Fingerprint
Dive into the research topics where Ekaterina Komendantskaya is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
Neural Network Verification for Gliding Drone Control: A Case Study
Kessler, C., Komendantskaya, E., Casadio, M., Viola, I. M., Flinkow, T., Othman, A. A., Malhotra, A. & McPherson, R., 2026, AI Verification. SAIV 2025. Giacobbe, M. & Lukina, A. (eds.). Springer, p. 180-199 20 p. (Lecture Notes in Computer Science; vol. 15947).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
NLP verification: towards a general methodology for certifying robustness
Casadio, M., Dinkar, T., Komendantskaya, E., Arnaboldi, L., Daggitt, M. L., Isac, O., Katz, G., Rieser, V. & Lemon, O., Feb 2026, In: European Journal of Applied Mathematics. 37, Special Issue 1, p. 180-237 58 p.Research output: Contribution to journal › Article › peer-review
Open AccessFile1 Link opens in a new tab Citation (Scopus)87 Downloads (Pure) -
Quantifiers for Differentiable Logics in Rocq
Marulanda-Giraldo, J. M., Komendantskaya, E., Bruni, A., Affeldt, R., Capucci, M. & Marchioni, E., 2026, AI Verification. SAIV 2025. Giacobbe, M. & Lukina, A. (eds.). Springer, p. 227-237 11 p. (Lecture Notes in Computer Science; vol. 15947).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
-
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Desmartin, R., Isac, O., Passmore, G., Komendantskaya, E., Stark, K. & Katz, G., 22 Sept 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 352).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Link opens in a new tab Citation (Scopus)2 Downloads (Pure) -
Formally Verifying Robustness and Generalisation of Network Intrusion Detection Models
Flood, R., Casadio, M., Aspinall, D. & Komendantskaya, E., 14 May 2025, SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. Association for Computing Machinery, p. 1867-1876 10 p.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Link opens in a new tab Citation (Scopus)49 Downloads (Pure)