ByNobleID
    Logical specification and uniform synthesis of robust controllers | NobleID