| 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 | 27 | 2017 |
| 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 | 23 | 2018 |
| 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 | 10 | 2019 |
| 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 | 9 | 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 | 8 | 2017 |
| Policy synthesis for factored mdps with graph temporal logic specifications M Cubuktepe, Z Xu, U Topcu arXiv preprint arXiv:2001.09066, 2020 | 6 | 2020 |
| 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 | 6 | 2018 |
| 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 | 5 | 2018 |
| 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 | 4 | 2019 |
| Switched linear systems meet markov decision processes: Stability guaranteed policy synthesis B Wu, M Cubuktepe, U Topcu 2019 IEEE 58th Conference on Decision and Control (CDC), 2509-2516, 2019 | 4 | 2019 |
| Distributed synthesis using accelerated ADMM M Ahmadi, M Cubuktepe, U Topcu, T Tanaka 2018 Annual American Control Conference (ACC), 6206-6211, 2018 | 4 | 2018 |
| Compositional analysis of hybrid systems defined over finite alphabets M Cubuktepe, M Ahmadi, U Topcu, B Hencey IFAC-PapersOnLine 51 (16), 115-120, 2018 | 4 | 2018 |
| Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization M Suilen, N Jansen, M Cubuktepe, U Topcu arXiv preprint arXiv:2001.08174, 2020 | 2 | 2020 |
| Verification of Markov Decision Processes with Risk-Sensitive Measures M Cubuktepe, U Topcu 2018 Annual American Control Conference (ACC), 2371-2377, 2018 | 2 | 2018 |
| Intent prediction in shared control with delayed feedback M Cubuktepe, U Topcu Proceedings of the Human Factors and Ergonomics Society Annual Meeting 61 (1 …, 2017 | 1 | 2017 |
| Robust Finite-State Controllers for Uncertain POMDPs M Cubuktepe, N Jansen, S Junges, A Marandi, M Suilen, U Topcu arXiv preprint arXiv:2009.11459, 2020 | | 2020 |
| Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications M Cubuktepe, Z Xu, U Topcu arXiv preprint arXiv:2006.14947, 2020 | | 2020 |
| 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 | | 2020 |
| Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization M Cubuktepe, T Tanaka, U Topcu arXiv preprint arXiv:2004.02356, 2020 | | 2020 |
| Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching B Wu, M Cubuktepe, F Djeumou, Z Xu, U Topcu arXiv preprint arXiv:2001.00835, 2020 | | 2020 |
Ufuk TopcuVerified email at utexas.edu
