Pierre-Jean Meyer, Dimos V. Dimarogonas. Compositional abstraction refinement for control synthesis under lasso-shaped specifications. In 2017 American Control Conference, ACC 2017, Seattle, WA, USA, May 24-26, 2017. pages 523-528, IEEE, 2017. [doi]
Abstract is missing.