Publications

• 2024

  Enhancing Data-Driven Stochastic Control via Bundled Interval MDP

  Rudi Coppola / Andrea Peruffo / Licio Romao / Alessandro Abate / Manuel Mazo

• 2023

  Data-driven Abstractions for Verification of Linear Systems

  Rudi Coppola / Andrea Peruffo / Manuel Mazo

• More publications