Dhananjay Raju

Latest

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