| Synthesis in pMDPs: A tale of 1001 parameters M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu International Symposium on Automated Technology for Verification and …, 2018 | 56 | 2018 |
| Robust Finite-State Controllers for Uncertain POMDPs M Cubuktepe, N Jansen, S Junges, A Marandi, M Suilen, U Topcu Proceedings of the AAAI Conference on Artificial Intelligence 35 (1), 11792 …, 2021 | 52 | 2021 |
| Entropy maximization for Markov decision processes under temporal logic constraints Y Savas, M Ornik, M Cubuktepe, MO Karabag, U Topcu IEEE Transactions on Automatic Control 65 (4), 1552-1567, 2019 | 52 | 2019 |
| Scalable multi-agent reinforcement learning for warehouse logistics with robotic and human co-workers A Krnjaic, RD Steleac, JD Thomas, G Papoudakis, L Schäfer, AWK To, ... 2024 IEEE/RSJ International Conference on Intelligent Robots and Systems …, 2024 | 51 | 2024 |
| Sequential Convex Programming for the Efficient Verification of Parametric MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, I Papusha, HA Poonawala, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 41 | 2017 |
| Robust policy synthesis for uncertain pomdps via convex optimization M Suilen, N Jansen, M Cubuktepe, U Topcu Proceedings of the Twenty-Ninth International Joint Conference on Artificial …, 2020 | 35 | 2020 |
| Verifiable and compositional reinforcement learning systems C Neary, C Verginis, M Cubuktepe, U Topcu Proceedings of the International Conference on Automated Planning and …, 2022 | 32 | 2022 |
| Scenario-based verification of uncertain MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu International conference on tools and algorithms for the construction and …, 2020 | 32 | 2020 |
| Convex optimization for parameter synthesis in MDPs M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu IEEE Transactions on Automatic Control 67 (12), 6333-6348, 2021 | 29 | 2021 |
| Scenario-based verification of uncertain parametric MDPs T Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu arXiv preprint arXiv:2112.13020, 2021 | 27 | 2021 |
| Verification of uncertain POMDPs using barrier certificates M Ahmadi, M Cubuktepe, N Jansen, U Topcu 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 27 | 2018 |
| Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications M Cubuktepe, Z Xu, U Topcu AAMAS '20: Proceedings of the 19th International Conference on Autonomous …, 2020 | 20 | 2020 |
| Entropy maximization for constrained Markov decision processes Y Savas, M Ornik, M Cubuktepe, U Topcu 2018 56th Annual Allerton Conference on Communication, Control, and …, 2018 | 18 | 2018 |
| Probabilistic control of heterogeneous swarms subject to graph temporal logic specifications: A decentralized and scalable approach F Djeumou, Z Xu, M Cubuktepe, U Topcu IEEE Transactions on Automatic Control 68 (4), 2245-2260, 2022 | 15 | 2022 |
| The partially observable games we play for cyber deception M Ahmadi, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu arXiv preprint arXiv:1810.00092, 2018 | 14 | 2018 |
| Synthesis of shared control protocols with provable safety and performance guarantees N Jansen, M Cubuktepe, U Topcu 2017 American Control Conference (ACC), 1866-1873, 2017 | 14 | 2017 |
| Formal methods for autonomous systems T Wongpiromsarn, M Ghasemi, M Cubuktepe, G Bakirtzis, S Carr, ... arXiv preprint arXiv:2311.01258, 2023 | 13 | 2023 |
| Synthesis of provably correct autonomy protocols for shared control M Cubuktepe, N Jansen, M Alshiekh, U Topcu IEEE Transactions on Automatic Control 66 (7), 3251-3258, 2020 | 11 | 2020 |
| Trajectory synthesis for the coordinated inspection of a spacecraft with safety guarantees M Hibbard, M Cubuktepe, M Shubert, K Lang, U Topcu, S Phillips Journal of Guidance, Control, and Dynamics 46 (12), 2245-2264, 2023 | 10 | 2023 |
| 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 | 10 | 2019 |
Ufuk TopcuThe University of Texas at AustinVerified email at utexas.edu
