4 citations · 11 across the 14 of their papers we have counts for
3 papers · 1 filter
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…
Agile Temporal Discretization for Symbolic Optimal Control
Adrien Janssens, Adrien Banse, Julien Calbert +1
As control systems grow in complexity, abstraction-based methods have become essential for designing controllers with formal guarantees. However, a key limitation of these methods…
Memory-dependent abstractions of stochastic systems through the lens of transfer operators
Adrien Banse, Giannis Delimpaltadakis, Luca Laurenti +2
With the increasing ubiquity of safety-critical autonomous systems operating in uncertain environments, there is a need for mathematical methods for formal verification of stochast…