Alladi Ramakrishnan Hall

Automata and logic for systems with unboundedly many agents

Sheerazuddin

IMSc

This will be the Public Viva for the PhD dissertation of Sheerazuddin.