Sign in

Symbolic abstractions for nonlinear control systems via feedback refinement relation.

Wei RenDimos V. Dimarogonas
Published in: Autom. (2020)
Keyphrases