Sudarshanan Bharadwaj

Latest

• Online synthesis for runtime enforcement of safety in multi-agent systems