Panagiotis Katsaros

1. On Neural Network Equivalence Checking using SMT Solvers
   2022/03/22 by Charis Eleftheriadis, Eleftheriadis, Charis, Nikolaos Kekatos +5 · 3 citations
   Computer Science · Materials Science · #Adversarial Robustness in Machine Learning #Machine Learning in Materials Science #Explainable Artificial Intelligence (XAI)
2. Mission-Level Runtime Assurance for LLM-Assisted ISR Swarms over a Verification-Aware Fabric
   2026/07/26 by Nikolaos Kekatos, Stylianos Basagiannis, Panagiotis Katsaros +3
   Computer Science · #cs.AI #cs.CR #cs.LO #cs.RO