2 papers
eess.SY2025
Neural Proofs for Sound Verification and Control of Complex Systems
Alessandro Abate
This informal contribution presents an ongoing line of research that is pursuing a new approach to the construction of sound proofs for the formal verification and control of compl…
cs.LO2025
Comparing Labeled Markov Chains: A Cantor-Kantorovich Approach
Adrien Banse, Alessandro Abate, Raphaël M. Jungers
Labeled Markov Chains (or LMCs for short) are useful mathematical objects to model complex probabilistic languages. A central challenge is to compare two LMCs, for example to asses…