Login / Signup

Compositional abstraction-based synthesis for continuous-time stochastic hybrid systems.

Ameneh NejatiSadegh SoudjaniMajid Zamani
Published in: Eur. J. Control (2021)
Keyphrases