Lazy Abstraction-Based Control for Safety Specifications. - Hsu, Kyle; Majumdar, Rupak; Mallik, Kaushik; Schmuck, Anne-Kathrin (2018)