Murat Cubuktepe
Title
Cited by
Cited by
Year
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
272017
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
232018
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
102019
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
92018
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
82017
Policy synthesis for factored mdps with graph temporal logic specifications
M Cubuktepe, Z Xu, U Topcu
arXiv preprint arXiv:2001.09066, 2020
62020
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
62018
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
52018
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
42019
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
42019
Distributed synthesis using accelerated ADMM
M Ahmadi, M Cubuktepe, U Topcu, T Tanaka
2018 Annual American Control Conference (ACC), 6206-6211, 2018
42018
Compositional analysis of hybrid systems defined over finite alphabets
M Cubuktepe, M Ahmadi, U Topcu, B Hencey
IFAC-PapersOnLine 51 (16), 115-120, 2018
42018
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization
M Suilen, N Jansen, M Cubuktepe, U Topcu
arXiv preprint arXiv:2001.08174, 2020
22020
Verification of Markov Decision Processes with Risk-Sensitive Measures
M Cubuktepe, U Topcu
2018 Annual American Control Conference (ACC), 2371-2377, 2018
22018
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
12017
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
The system can't perform the operation now. Try again later.
Articles 1–20