Login / Signup
Optimal controller synthesis for timed systems.
Damien Busatto-Gaston
Benjamin Monmege
Pierre-Alain Reynier
Published in:
Log. Methods Comput. Sci. (2023)
Keyphrases
</>
optimal solution
color images
computer systems