- Title:
Feedback refinement relations for the synthesis of symbolic controllers
- Author(s):
- Reissig, G.; Weber, A.and Rungger, M.
- Journal title:
- IEEE Transactions on Automatic Control
- Year:
- 2017
- Journal volume:
- 62
- Journal issue:
- 4
- Pages contribution:
- 1781--1796
- Fulltext / DOI:
- doi:10.1109/TAC.2016.2593947
- Publisher:
- IEEE
- BibTeX