@misc{indiciae05621c907973,
  title = {Context-triggered Abstraction-based Control Design},
  author = {Satya Prakash Nayak and Lucas Neves Egidio and Matteo Della Rossa and Anne-Kathrin Schmuck and Raphaël Jungers},
  year = {2023},
  doi = {10.1109/ojcsys.2023.3305835},
  url = {https://arxiv.org/abs/2305.03399},
  note = {Source identifier: 2305.03399}
}