Login / Signup

Optimal enforcement of (timed) properties with uncontrollable events.

Matthieu RenardYliès FalconeAntoine RolletThierry JéronHervé Marchand
Published in: Math. Struct. Comput. Sci. (2019)
Keyphrases