2 papers
cs.LO2026
Termination analysis with interpolation-based transition invariant generation
Konstantin Britikov, Martin Blicha, Grigory Fedyukovich +1
Termination and nontermination of infinite-state systems are complementary problems that, despite their close connection, are typically addressed by separate techniques. The core i…
cs.LG2025
Space Explanations of Neural Network Classification
Faezeh Labbaf, Tomáš Kolárik, Martin Blicha +3
We present a novel logic-based concept called Space Explanations for classifying neural networks that gives provable guarantees of the behavior of the network in continuous areas o…