Suda Bharadwaj

32 papers A* 3A 2C 3Journal 15Unranked 9

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	Reactive synthesis for relay-explorer consensus with intermittent communication. Autom. Runhan Sun, Suda Bharadwaj, Zhe Xu, Ufuk Topcu, Warren E. Dixon
2022	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. IEEE Trans. Autom. Control. Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2022	—	`conf`	Scheduling for Urban Air Mobility using Safe Learning. FMAS/ASYDE@SEFM Surya Murthy, Natasha A. Neogi, Suda Bharadwaj
2022	J	`jnl`	Synthesis of strategies for autonomous surveillance on adversarial targets. Robotics Auton. Syst. Suda Bharadwaj, Rayna Dimitrova, Jesse Quattrociocchi, Ufuk Topcu
2021	A	`conf`	Decentralized Classification with Assume-Guarantee Planning. IROS Steven Carr, Jesse Quattrociocchi, Suda Bharadwaj, Steven J. Spencer, Anup Parikh, Carol C. Young, Stephen P. Buerger, Bo Wu, Ufuk Topcu
2021	J	`jnl`	Decentralized Control Synthesis for Air Traffic Management in Urban Air Mobility. IEEE Trans. Control. Netw. Syst. Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Ufuk Topcu
2021	—	`conf`	Minimum-Violation Traffic Management for Urban Air Mobility. NFM Suda Bharadwaj, Tichakorn Wongpiromsarn, Natasha A. Neogi, Joseph Muffoletto, Ufuk Topcu
2021	A	`conf`	Safe Multi-Agent Reinforcement Learning via Shielding. AAMAS Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021	J	`jnl`	Safe Multi-Agent Reinforcement Learning via Shielding. CoRR Ingy Elsayed-Aly, Suda Bharadwaj, Christopher Amato, Rüdiger Ehlers, Ufuk Topcu, Lu Feng
2021	A*	`conf`	Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks. AAAI Yuqian Jiang, Suda Bharadwaj, Bo Wu, Rishi Shah, Ufuk Topcu, Peter Stone
2020	J	`jnl`	Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology. CoRR Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Constrained Active Classification Using Partially Observable Markov Decision Processes. CoRR Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2020	A*	`conf`	Near-Optimal Reactive Synthesis Incorporating Runtime Information. ICRA Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020	J	`jnl`	Near-Optimal Reactive Synthesis Incorporating Runtime Information. CoRR Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu
2020	C	`conf`	Resilient Distributed Hypothesis Testing with Time-Varying Network Topology. ACC Bo Wu, Steven Carr, Suda Bharadwaj, Zhe Xu, Ufuk Topcu
2019	C	`conf`	Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. ACC Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2019	J	`jnl`	Decentralized Runtime Synthesis of Shields for Multi-Agent Systems. CoRR Dhananjay Raju, Suda Bharadwaj, Ufuk Topcu
2019	J	`jnl`	Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CoRR Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2019	—	`conf`	Reward-Based Deception with Cognitive Bias. CDC Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019	J	`jnl`	Reward-Based Deception with Cognitive Bias. CoRR Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019	—	`conf`	Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CDC Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
2019	J	`jnl`	Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization. CoRR Suda Bharadwaj, Louis Ly, Bo Wu, Richard Tsai, Ufuk Topcu
2019	C	`conf`	Synthesis of Minimum-Cost Shields for Multi-agent Systems. ACC Suda Bharadwaj, Roderick Bloem, Rayna Dimitrova, Bettina Könighofer, Ufuk Topcu
2019	—	`conf`	Traffic Management for Urban Air Mobility. NFM Suda Bharadwaj, Steven Carr, Natasha A. Neogi, Hasan Poonawala, Alejandro Barberia Chueca, Ufuk Topcu
2018	J	`jnl`	Cost-Bounded Active Classification Using Partially Observable Markov Decision Processes. CoRR Bo Wu, Mohamadreza Ahmadi, Suda Bharadwaj, Ufuk Topcu
2018	—	`conf`	Distributed Synthesis of Surveillance Strategies for Mobile Sensors. CDC Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2018	—	`conf`	Stochastic Games with Sensing Costs. Allerton Mohamadreza Ahmadi, Suda Bharadwaj, Takashi Tanaka, Ufuk Topcu
2018	—	`conf`	Synthesis of Surveillance Strategies via Belief Abstraction. CDC Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu
2018	—	`conf`	Transfer Entropy in MDPs with Temporal Logic Specifications. CDC Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2018	J	`jnl`	Transfer Entropy in MDPs with Temporal Logic Specifications. CoRR Suda Bharadwaj, Mohamadreza Ahmadi, Takashi Tanaka, Ufuk Topcu
2017	A*	`conf`	Reduction Techniques for Model Checking and Learning in MDPs. IJCAI Suda Bharadwaj, Stéphane Le Roux, Guillermo A. Pérez, Ufuk Topcu
2017	J	`jnl`	Synthesis of surveillance strategies via belief abstraction. CoRR Suda Bharadwaj, Rayna Dimitrova, Ufuk Topcu