Takip et
Murat Cubuktepe
Murat Cubuktepe
utexas.edu üzerinde doğrulanmış e-posta adresine sahip - Ana Sayfa
Başlık
Alıntı yapanlar
Alıntı yapanlar
Yıl
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
492018
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
392017
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
332019
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
292021
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
202020
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
202020
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
202018
Verifiable and compositional reinforcement learning systems
C Neary, C Verginis, M Cubuktepe, U Topcu
Proceedings of the International Conference on Automated Planning and …, 2022
182022
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
172021
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
152018
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
142020
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
132018
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
122017
Scenario-based verification of uncertain parametric MDPs
T Badings, M Cubuktepe, N Jansen, S Junges, JP Katoen, U Topcu
International Journal on Software Tools for Technology Transfer 24 (5), 803-819, 2022
102022
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, ...
arXiv preprint arXiv:2212.11498, 2022
82022
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
72019
Distributed synthesis using accelerated ADMM
M Ahmadi, M Cubuktepe, U Topcu, T Tanaka
2018 Annual American Control Conference (ACC), 6206-6211, 2018
72018
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
62020
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
52022
Distributed policy synthesis of multiagent systems with graph temporal logic specifications
M Cubuktepe, Z Xu, U Topcu
IEEE Transactions on Control of Network Systems 8 (4), 1799-1810, 2021
52021
Sistem, işlemi şu anda gerçekleştiremiyor. Daha sonra yeniden deneyin.
Makaleler 1–20