Showing cs.LOShow all
2 papers · 1 filter
cs.LO2025
Branching Bisimulation Learning
Alessandro Abate, Mirco Giacobbe, Christian Micheletti +1
We introduce a bisimulation learning algorithm for non-deterministic transition systems. We generalise bisimulation learning to systems with bounded branching and extend its applic…
cs.LO2024
Bisimulation Learning
Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer
We introduce a data-driven approach to computing finite bisimulations for state transition systems with very large, possibly infinite state space. Our novel technique computes stut…