@inproceedings{tajvar2021adhs,
  title={Closed-loop incremental stability for efficient symbolic control of non-linear systems},
  author={Tajvar, Pouria and Meyer, Pierre-Jean and Tumova, Jana},
  booktitle={$7^{th}$ IFAC Conference on Analysis and Design of Hybrid Systems},
  volume={54},
  number={5},
  pages={121--126},
  year={2021}
}