Bartosz Papis, Andrzej Pacut. Neighbourhood approach to bisimulation in state abstraction for quantized domains. In 19th International Conference On Methods and Models in Automation and Robotics, MMAR 2014, Międzyzdroje, Poland, September 2-5, 2014. pages 566-571, IEEE, 2014. [doi]
Abstract is missing.