Program Completionin the Input Language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (CoRR, 2017)

Program completion in the input language of GRINGO. - Amelia Harrison; Vladimir Lifschitz; Dhananjay Raju (Theory Pract. Log. Program., 2017)

Decentralized Runtime Synthesis of Shields for Multi-Agent Systems. - Dhananjay Raju; Suda Bharadwaj; Ufuk Topcu (CoRR, 2019)

Reachability Games for Optimal Multi-agent Scheduling of Tasks with Variable Durations. - Dhananjay Raju; Niklas T. Lauffer; Ufuk Topcu (COCOA, 2020)

Playing Against Opponents With Limited Memory. - Dhananjay Raju; Rüdiger Ehlers; Ufuk Topcu (CoRR, 2020)

Adapting to the Behavior of Environments with Bounded Memory. - Dhananjay Raju; Rüdiger Ehlers; Ufuk Topcu (GandALF, 2021)

Online Synthesis for Runtime Enforcement of Safety in Multiagent Systems. - Dhananjay Raju; Sudarshanan Bharadwaj; Franck Djeumou; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 2021)

Sensor Placement for Online Fault Diagnosis. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (CoRR, 2022)

Memoryless Adversaries in Imperfect Information Games. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (AAMAS, 2023)

On the complexity of sabotage games for network security. - Dhananjay Raju; Georgios Bakirtzis; Ufuk Topcu (CoRR, 2023)