Login / Signup

Safety synthesis for incrementally stable switched systems using discretization-free multi-resolution abstractions.

Antoine GirardGregor Gößler
Published in: Acta Informatica (2020)
Keyphrases