2 citations · 3 across the 5 of their papers we have counts for
5 papers
On Neural Network Equivalence Checking using SMT Solvers
Charis Eleftheriadis, Nikolaos Kekatos, Panagiotis Katsaros +1
Two pretrained neural networks are deemed equivalent if they yield similar outputs for the same inputs. Equivalence checking of neural networks is of great importance, due to its u…
Explaining Outcomes of Multi-Party Dialogues using Causal Learning
Priyanka Sinha, Pabitra Mitra, Antonio Anastasio Bruto da Costa +1
Multi-party dialogues are common in enterprise social media on technical as well as non-technical topics. The outcome of a conversation may be positive or negative. It is important…
Verifying a Cruise Control System using Simulink and SpaceEx
Nikolaos Kekatos
This article aims to provide a simple step-by-step guide highlighting the steps needed to verify a control system with formal verification tools. Starting from a description of the…
Encoding sinusoidal functions in hybrid automata formalism
Nikolaos Kekatos
Hybrid systems can express a plethora of physical phenomena and systems as they can combine continuous and discrete dynamics. There exist several tools that enable the reachability…
Quantitative Corner Case Feature Analysis of Hybrid Automata with ForFET
Antonio Anastasio Bruto da Costa, Pallab Dasgupta, Nikolaos Kekatos
The analysis and verification of hybrid automata (HA) models against rich formal properties can be a challenging task. Existing methods and tools can mainly reason whether a given…