Reduction Techniques for Model Checking and Learning in MDPs. - Suda Bharadwaj; Stéphane Le Roux 001; Guillermo A. Pérez 001; Ufuk Topcu (IJCAI, 2017)

Stochastic Games with Sensing Costs. - Mohamadreza Ahmadi; Suda Bharadwaj; Takashi Tanaka; Ufuk Topcu (Allerton, 2018)

Transfer Entropy in MDPs with Temporal Logic Specifications. - Suda Bharadwaj; Mohamadreza Ahmadi; Takashi Tanaka; Ufuk Topcu (CDC, 2018)

Distributed Synthesis of Surveillance Strategies for Mobile Sensors. - Suda Bharadwaj; Rayna Dimitrova; Ufuk Topcu (CDC, 2018)

Synthesis of Surveillance Strategies via Belief Abstraction. - Suda Bharadwaj; Rayna Dimitrova; Ufuk Topcu (CDC, 2018)

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (ACC, 2019)

Synthesis of Minimum-Cost Shields for Multi-agent Systems. - Suda Bharadwaj; Roderick Bloem; Rayna Dimitrova; Bettina Könighofer; Ufuk Topcu (ACC, 2019)

Reward-Based Deception with Cognitive Bias. - Bo Wu 005; Murat Cubuktepe; Suda Bharadwaj; Ufuk Topcu (CDC, 2019)

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. - Suda Bharadwaj; Louis Ly; Bo Wu 005; Richard Tsai 001; Ufuk Topcu (CDC, 2019)

Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Hasan Poonawala; Alejandro Barberia Chueca; Ufuk Topcu (NFM, 2019)

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

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (ACC, 2020)

Near-Optimal Reactive Synthesis Incorporating Runtime Information. - Suda Bharadwaj; Abraham P. Vinod; Rayna Dimitrova; Ufuk Topcu (ICRA, 2020)

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks. - Yuqian Jiang; Sudarshanan Bharadwaj; Bo Wu 005; Rishi Shah; Ufuk Topcu; Peter Stone 001 (CoRR, 2020)

Constrained Active Classification Using Partially Observable Markov Decision Processes. - Bo Wu 005; Mohamadreza Ahmadi; Suda Bharadwaj; Ufuk Topcu (CoRR, 2020)

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. - Yuqian Jiang; Suda Bharadwaj; Bo Wu 005; Rishi Shah; Ufuk Topcu; Peter Stone 001 (AAAI, 2021)

Safe Multi-Agent Reinforcement Learning via Shielding. - Ingy Elsayed-Aly; Suda Bharadwaj; Christopher Amato; Rüdiger Ehlers; Ufuk Topcu; Lu Feng 001 (AAMAS, 2021)

Decentralized Classification with Assume-Guarantee Planning. - Steven Carr 002; Jesse Quattrociocchi; Suda Bharadwaj; Steven J. Spencer; Anup Parikh; Carol C. Young; Stephen P. Buerger; Bo Wu 005; Ufuk Topcu (IROS, 2021)

Minimum-Violation Traffic Management for Urban Air Mobility. - Suda Bharadwaj; Tichakorn Wongpiromsarn; Natasha A. Neogi; Joseph Muffoletto; Ufuk Topcu (NFM, 2021)

Safe Policies for Factored Partially Observable Stochastic Games. - Steven Carr 002; Nils Jansen 001; Sudarshanan Bharadwaj; Matthijs T. J. Spaan; Ufuk Topcu (Robotics: Science and Systems, 2021)

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. - Suda Bharadwaj; Steven Carr 002; Natasha A. Neogi; Ufuk Topcu (IEEE Trans. Control. Netw. Syst., 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)

Scheduling for Urban Air Mobility using Safe Learning. - Surya Murthy; Natasha A. Neogi; Suda Bharadwaj (FMAS/ASYDE@SEFM, 2022)

Synthesis of strategies for autonomous surveillance on adversarial targets. - Suda Bharadwaj; Rayna Dimitrova; Jesse Quattrociocchi; Ufuk Topcu (Robotics Auton. Syst., 2022)

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. - Bo Wu 005; Steven Carr 002; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu (IEEE Trans. Autom. Control., 2022)

Reactive synthesis for relay-explorer consensus with intermittent communication. - Runhan Sun; Suda Bharadwaj; Zhe Xu 005; Ufuk Topcu; Warren E. Dixon (Autom., 2023)