1 citations · 1 across the 2 of their papers we have counts for
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★ 1 cited
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…