@misc{indiciae635cd5587e04,
  title = {Lazy Abstraction-Based Control for Safety Specifications},
  author = {Kyle Hsu and Rupak Majumdar and Kaushik Mallik and Anne-Kathrin Schmuck},
  year = {2019},
  url = {https://arxiv.org/abs/1804.02666},
  note = {Source identifier: 1804.02666}
}