Suda Bharadwaj
Title
Cited by
Cited by
Year
Synthesis of surveillance strategies via belief abstraction
S Bharadwaj, R Dimitrova, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 4159-4166, 2018
182018
Synthesis of minimum-cost shields for multi-agent systems
S Bharadwaj, R Bloem, R Dimitrova, B Konighofer, U Topcu
2019 American Control Conference (ACC), 1048-1055, 2019
92019
The diver with a rotor
S Bharadwaj, N Duignan, HR Dullin, K Leung, W Tong
Indagationes Mathematicae 27 (5), 1147-1161, 2016
82016
Synthesis of minimum-cost shields for distributed systems
S Bharadwaj, R Bloem, R Dimitrova, B Könighofer, U Topcu
2019 Annual American Control Conference, ACC, 10-12, 2019
62019
Reduction Techniques for Model Checking and Learning in MDPs.
S Bharadwaj, S Le Roux, GA Pérez, U Topcu
IJCAI, 4273-4279, 2017
62017
Traffic management for urban air mobility
S Bharadwaj, S Carr, N Neogi, H Poonawala, AB Chueca, U Topcu
NASA Formal Methods Symposium, 71-87, 2019
52019
Reward-Based Deception with Cognitive Bias
B Wu, M Cubuktepe, S Bharadwaj, U Topcu
2019 IEEE 58th Conference on Decision and Control (CDC), 2265-2270, 2019
42019
Stochastic games with sensing costs
M Ahmadi, S Bharadwaj, T Tanaka, U Topcu
2018 56th Annual Allerton Conference on Communication, Control, and …, 2018
42018
Cost-bounded active classification using partially observable markov decision processes
B Wu, M Ahmadi, S Bharadwaj, U Topcu
2019 American Control Conference (ACC), 1216-1223, 2019
32019
Decentralized runtime synthesis of shields for multi-agent systems
D Raju, S Bharadwaj, U Topcu
32019
Distributed synthesis of surveillance strategies for mobile sensors
S Bharadwaj, R Dimitrova, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 3335-3342, 2018
32018
Online synthesis for runtime enforcement of safety in multi-agent systems
D Raju, S Bharadwaj, F Djeumou, U Topcu
IEEE Transactions on Control of Network Systems, 2021
22021
Safe Multi-Agent Reinforcement Learning via Shielding
I Elsayed-Aly, S Bharadwaj, C Amato, R Ehlers, U Topcu, L Feng
arXiv preprint arXiv:2101.11196, 2021
22021
Resilient Distributed Hypothesis Testing with Time-Varying Network Topology
B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu
2020 American Control Conference (ACC), 1483-1488, 2020
22020
Temporal-Logic-Based Reward Shaping for Continuing Learning Tasks
Y Jiang, S Bharadwaj, B Wu, R Shah, U Topcu, P Stone
arXiv preprint arXiv:2007.01498, 2020
12020
Strategy Synthesis for Surveillance-Evasion Games with Learning-Enabled Visibility Optimization
S Bharadwaj, L Ly, B Wu, R Tsai, U Topcu
2019 IEEE 58th Conference on Decision and Control (CDC), 6275-6281, 2019
12019
Transfer entropy in MDPs with temporal logic specifications
S Bharadwaj, M Ahmadi, T Tanaka, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 4173-4180, 2018
12018
Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks
Y Jiang, S Bharadwaj, B Wu, R Shah, U Topcu, P Stone
Good Systems-Published Research, 2021
2021
Byzantine-Resilient Distributed Hypothesis Testing With Time-Varying Network Topology
B Wu, S Carr, S Bharadwaj, Z Xu, U Topcu
arXiv preprint arXiv:2008.00164, 2020
2020
Near-Optimal Reactive Synthesis Incorporating Runtime Information
S Bharadwaj, AP Vinod, R Dimitrova, U Topcu
2020 IEEE International Conference on Robotics and Automation (ICRA), 10342 …, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20