1 paper
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…