Login / Signup

Nonblocking Supervisory Control Synthesis of Timed Automata using Abstractions and Forcible Events.

Aida RashidinejadPatrick van der GraafMichel A. Reniers
Published in: ICARCV (2020)
Keyphrases