Login
- Titel:
Feedback refinement relations for the synthesis of symbolic controllers
- Autor(en):
- Reissig, G.; Weber, A.; Rungger, M.
- Zeitschriftentitel:
- IEEE Transactions on Automatic Control
- Jahr:
- 2017
- Band / Volume:
- 62
- Heft / Issue:
- 4
- Seitenangaben Beitrag:
- 1781--1796
- Volltext / DOI:
- doi:10.1109/TAC.2016.2593947
- Verlag / Institution:
- IEEE
BibTeX