Neighbourhood approach to bisimulation in state abstraction for quantized domains.

Bartosz Papis, Andrzej Pacut

Browse the full MMAR paper archive.