Bisimulation Learning.

Alessandro Abate, Mirco Giacobbe, Yannik Schnitzer

Browse the full CAV paper archive.