Login / Signup

Feedback Refinement Relations for the Synthesis of Symbolic Controllers.

Gunther ReissigAlexander WeberMatthias Rungger
Published in: IEEE Trans. Autom. Control. (2017)
Keyphrases