Environment-independent task specifications via GLTL ML Littman, U Topcu, J Fu, C Isbell, M Wen, J MacGlashan arXiv preprint arXiv:1704.04341, 2017 | 123 | 2017 |
Constrained cross-entropy method for safe reinforcement learning M Wen, U Topcu Advances in Neural Information Processing Systems 31, 2018 | 97 | 2018 |
Correct-by-synthesis reinforcement learning with temporal logic constraints M Wen, R Ehlers, U Topcu 2015 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2015 | 68 | 2015 |
Algorithms for fairness in sequential decision making M Wen, O Bastani, U Topcu International Conference on Artificial Intelligence and Statistics, 1144-1152, 2021 | 57 | 2021 |
Learning from demonstrations with high-level side information M Wen, I Papusha, U Topcu Proceedings of the Twenty-Sixth International Joint Conference on Artificial …, 2017 | 38 | 2017 |
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 | 32 | 2020 |
Fairness with dynamics M Wen, O Bastani, U Topcu arXiv preprint arXiv:1901.08568, 3, 2019 | 26 | 2019 |
Probably Approximately Correct Learning in Stochastic Games with Temporal Logic Specifications M Wen, U Topcu The Twenty-Fifth International Joint Conference on Artificial Intelligence …, 2016 | 25 | 2016 |
Correct-by-synthesis reinforcement learning with temporal logic constraints. In 2015 IEEE M Wen, R Ehlers, U Topcu RSJ International Conference on Intelligent Robots and Systems (IROS), 4983-4990, 0 | 10 | |
Inverse optimal control with regular language specifications I Papusha, M Wen, U Topcu 2018 Annual American Control Conference (ACC), 770-777, 2018 | 7 | 2018 |
Control design for coordinated oscillations with central pattern generator T Iwasaki, M Wen 2013 American Control Conference, 2972-2977, 2013 | 4 | 2013 |
Probably approximately correct learning in adversarial environments with temporal logic specifications M Wen, U Topcu IEEE Transactions on Automatic Control 67 (10), 5055-5070, 2021 | 3 | 2021 |
Reinforcement learning with high-level task specifications M Wen University of Pennsylvania, 2019 | 2 | 2019 |
Assigning routing paths based on interior gateway protocol metric optimization M Wen, W Jiang, A Sharma, M Johnston, REA Gomez US Patent US11601336B2, 2023 | | 2023 |
Strategy Synthesis for Stochastic Rabin Games with Discounted Reward M Wen, U Topcu arXiv preprint arXiv:1511.00647, 2015 | | 2015 |
Extended Insertion Functions for Opacity Enforcement in Discrete-Event Systems... X. Li, CN Hadjicostis, and Z. Li 5289 Y Lu, C Gao, D Dochain, M Wen, U Topcu, Y Gao, A Abate, FJ Jiang, ... | | |