Suda Bharadwaj

According to our database, Suda Bharadwaj authored at least 26 papers between 2017 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Reactive synthesis for relay-explorer consensus with intermittent communication.

Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon

Autom., August, 2023

2022

Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

IEEE Trans. Autom. Control., 2022

Synthesis of strategies for autonomous surveillance on adversarial targets.

Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu

Robotics Auton. Syst., 2022

Scheduling for Urban Air Mobility using Safe Learning.

Surya Murthy, Natasha A. Neogi, Suda Bharadwaj

Proceedings of the Proceedings Fourth International Workshop on Formal Methods for Autonomous Systems (FMAS) and Fourth International Workshop on Automated and verifiable Software sYstem DEvelopment (ASYDE), 2022

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

Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu

IEEE Trans. Control. Netw. Syst., 2021

Safe Policies for Factored Partially Observable Stochastic Games.

Steven Carr, Nils Jansen, Sudarshanan Bharadwaj, Matthijs T. J. Spaan, Ufuk Topcu

Proceedings of the Robotics: Science and Systems XVII, Virtual Event, July 12-16, 2021., 2021

Minimum-Violation Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

Decentralized Classification with Assume-Guarantee Planning.

Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu

Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2021

Safe Multi-Agent Reinforcement Learning via Shielding.

Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng

Proceedings of the AAMAS '21: 20th International Conference on Autonomous Agents and Multiagent Systems, 2021

Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks.

Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone

Proceedings of the Thirty-Fifth AAAI Conference on Artificial Intelligence, 2021

2020

Constrained Active Classification Using Partially Observable Markov Decision Processes.

Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu

CoRR, 2020

Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks.

Yuqian Jiang, Sudarshanan Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone

CoRR, 2020

Near-Optimal Reactive Synthesis Incorporating Runtime Information.

Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 2020 IEEE International Conference on Robotics and Automation, 2020

Resilient Distributed Hypothesis Testing with Time-Varying Network Topology.

Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu

Proceedings of the 2020 American Control Conference, 2020

2019

Decentralized Runtime Synthesis of Shields for Multi-Agent Systems.

Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu

CoRR, 2019

Traffic Management for Urban Air Mobility.

Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization.

Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Reward-Based Deception with Cognitive Bias.

Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Synthesis of Minimum-Cost Shields for Multi-agent Systems.

Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes.

Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu

Proceedings of the 2019 American Control Conference, 2019

2018

Synthesis of Surveillance Strategies via Belief Abstraction.

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Distributed Synthesis of Surveillance Strategies for Mobile Sensors.

Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Transfer Entropy in MDPs with Temporal Logic Specifications.

Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu

Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Stochastic Games with Sensing Costs.

Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017

Reduction Techniques for Model Checking and Learning in MDPs.

Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017