| Joint Inference of Reward Machines and Policies for Reinforcement Learning Z Xu, I Gavran, Y Ahmad, R Majumdar, D Neider, U Topcu, B Wu Proceedings of the Thirtieth International Conference on Automated Planning …, 2020 | 114 | 2020 |
| Distributed communication-aware motion planning for multi-agent systems from stl and spatel specifications Z Liu, B Wu, J Dai, H Lin 2017 IEEE 56th Annual Conference on Decision and Control (CDC), 4452-4457, 2017 | 66 | 2017 |
| Reward machines for cooperative multi-agent reinforcement learning C Neary, Z Xu, B Wu, U Topcu International Conference on Autonomous Agents and Multiagent Systems (AAMAS …, 2021 | 61 | 2021 |
| Temporal-Logic-Based Reward Shaping for Continuing Reinforcement Learning Tasks Y Jiang, S Bharadwaj, B Wu, R Shah, U Topcu, P Stone The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), 2021 | 60 | 2021 |
| Control Strategies for COVID-19 Epidemic with Vaccination, Shield Immunity and Quarantine: A Metric Temporal Logic Approach Z Xu, B Wu, U Topcu Plus One, 2021 | 58 | 2021 |
| Communication-aware motion planning for multi-agent systems from signal temporal logic specifications Z Liu, J Dai, B Wu, H Lin 2017 American Control Conference (ACC), 2516-2521, 2017 | 58 | 2017 |
| Advice-Guided Reinforcement Learning in a non-Markovian Environment D Neider, JR Gaglione, I Gavran, U Topcu, B Wu, Z Xu The Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI-21), 2021 | 47 | 2021 |
| Formal methods for stability analysis of networked control systems with IEEE 802.15. 4 protocol B Wu, MD Lemmon, H Lin IEEE Transactions on Control Systems Technology 26 (5), 1635-1645, 2018 | 42 | 2018 |
| Active finite reward automaton inference and reinforcement learning using queries and counterexamples Z Xu, B Wu, A Ojha, D Neider, U Topcu Machine Learning and Knowledge Extraction: 5th IFIP TC 5, TC 12, WG 8.4, WG …, 2021 | 37 | 2021 |
| Distributed Communication-aware Motion Planning for Networked Mobile Robots under Formal Specifications Z Liu, B Wu, J Dai, H Lin IEEE Transactions on Control of Network Systems, 2020 | 37 | 2020 |
| Active task-inference-guided deep inverse reinforcement learning F Memarian, Z Xu, B Wu, M Wen, U Topcu 2020 59th IEEE Conference on Decision and Control (CDC), 1932-1938, 2020 | 36 | 2020 |
| Privacy Verification in POMDPs via Barrier Certificates M Ahmadi, B Wu, H Lin, U Topcu 2018 IEEE Conference on Decision and Control (CDC), 5610 - 5615, 2018 | 35 | 2018 |
| Privacy verification and enforcement via belief abstraction B Wu, H Lin IEEE Control Systems Letters 2 (4), 815-820, 2018 | 34 | 2018 |
| A mean field game approach to swarming robots control Z Liu, B Wu, H Lin 2018 Annual American Control Conference (ACC), 4293-4298, 2018 | 33 | 2018 |
| Controller Synthesis For Multi-Agent Systems with Intermittent Communication: A Metric Temporal Logic Approach Z Xu, Z Federico, B Wu, W Dixon, U Topcu https://arxiv.org/abs/1909.09939, 2019 | 30 | 2019 |
| Toward efficient manufacturing systems: A trust based human robot collaboration B Wu, B Hu, H Lin 2017 American Control Conference (ACC), 2017 | 29 | 2017 |
| Control Theory Meets POMDPs: A Hybrid Systems Approach M Ahmadi, N Jansen, B Wu, U Topcu IEEE Transactions on Automatic Control, 2020 | 27 | 2020 |
| POMDP Model Learning for Human Robot Collaboration W Zheng, B Wu, H Lin 2018 IEEE Conference on Decision and Control (CDC), 1156 - 1161, 2018 | 26 | 2018 |
| Differential Privacy on the Unit Simplex via the Dirichlet Mechanism P Gohari, B Wu, C Hawkins, M Hale, U Topcu IEEE Transactions on Information Forensics and Security, 2021 | 25 | 2021 |
| Synthesis of insertion functions to enforce decentralized and joint opacity properties of discrete-event systems B Wu, J Dai, H Lin 2018 Annual American Control Conference (ACC), 3026-3031, 2018 | 24 | 2018 |
Ufuk TopcuThe University of Texas at AustinEmail verificata su utexas.edu