A below paper was accepted in ATC2019 Analysis space reduction with state merging for ensuring safety properti […]