Publications

M. Cubuktepe, F. Blahoudek, and U. Topcu. Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. In International Conference on Computer Aided Verification, Submitted. Springer, 2021.

M. Cubuktepe, N. Jansen, S. Junges, A. Marandi, M. Suilen, and U. Topcu. Robust Finite-State Controllers for Uncertain POMDPs. In The Thirty-Fifth AAAI Conference on Artificial Intelligence, Accepted. AAAI, 2021.

M. Cubuktepe, T. Tanaka, and U. Topcu. Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. In 2020 59th IEEE Conference on Decision and Control (CDC), pages 1750-1757. IEEE, 2020.

B. Wu, M. Cubuktepe, F. Djemou, Z. Xu, and U. Topcu. Policy Synthesis of Switched Linear Systems with Markov Decision Process Switching. In IEEE Transactions on Automatic Control, Under Revision. IEEE, 2020.

M. Cubuktepe, N. Jansen, S. Junges, J. P. Katoen, and U. Topcu. Convex Optimization for Parameter Synthesis in MDPs. In IEEE Transactions on Automatic Control, Submitted. IEEE, 2020.

M. Suilen, N. Jansen, M. Cubuktepe, and U. Topcu. Robust Convex Optimization for Uncertain Partially Observable Markov Decision Processes. In 29th International Joint Conference on Artificial Intelligence, pages 4113-4120. IJCAI, 2020.

M. Cubuktepe, Z. Xu, and U. Topcu. Distributed Policy Synthesis of Multi-Agent Systems with Graph Temporal Logic Specifications. In IEEE Transactions on Control of Network Systems, Under Revision. IEEE, 2020.

M. Cubuktepe, Z. Xu, and U. Topcu. Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. In Proceedings of the 19th International Conference on Autonomous Agents and MultiAgent Systems, pages 160-176. IFAAMAS, 2020.

M. Cubuktepe, N. Jansen, S. Junges, J. P. Katoen, and U. Topcu. Scenario-Based Verification of Uncertain MDPs. In International Symposium on Automated Technology for Verification and Analysis, Accepted. Springer, 2020.

M. Cubuktepe, N. Jansen, M. Alsiekh, and U. Topcu. Synthesis of Provably Correct Autonomy Protocols for Shared Control. In IEEE Transactions on Automatic Control, Accepted. IEEE, 2020.

B. Wu, M. Cubuktepe, and U. Topcu. Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. In 2019 IEEE 58th Conference on Decision and Control (CDC), pages 2509-2516. IEEE, 2019.

B. Wu, M. Cubuktepe, S. Bharadwaj, and U. Topcu. Reward-Based Deception with Cognitive Bias. In 2019 IEEE 58th Conference on Decision and Control (CDC), pages 2265-2270. IEEE, 2019.

Y. Savas, M. Ornik, M. Cubuktepe, M. Karabag and U. Topcu. Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. In IEEE Transactions on Automatic Control, pages 1552-1567. IEEE, 2019.

M. Cubuktepe, N. Jansen, S. Junges, J. P. Katoen, and U. Topcu. Synthesis in pMDPs: A Tale of 1001 Parameters. In International Symposium on Automated Technology for Verification and Analysis, pages 160–176. Springer, 2018.

M. Cubuktepe, M. Ahmadi, U. Topcu, and B. Hencey. Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. In IFAC Conference on Analysis and Design of Hybrid Systems, pages 115–120. Elsevier, 2018.

M. Cubuktepe and U. Topcu. Verification of Markov Decision Processes with Risk-Sensitive Measures. In 2018 Annual American Control Conference (ACC), pages 2371–2377. IEEE, 2018.

M. Ahmadi, M. Cubuktepe, U. Topcu, and T. Tanaka. Distributed Synthesis Using Accelerated ADMM. In 2018 Annual American Control Conference (ACC), pages 6206–6211. IEEE, 2018.

Y. Savas, M. Ornik, M. Cubuktepe, and U. Topcu. Entropy Maximization for Constrained Markov Decision Processes. In 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pages 911–918. IEEE, 2018.

M. Ahmadi, M. Cubuktepe, N. Jansen, and U. Topcu. Verification of Uncertain POMDPs using Barrier Certificates. In 2018 56th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pages 115–122. IEEE, 2018.

N. Jansen, M. Cubuktepe, and U. Topcu. Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. In American Control Conference (ACC), 2017, pages 1866–1873. IEEE, 2017.

M. Cubuktepe, N. Jansen, S. Junges, J. P. Katoen, I. Papusha, H. A. Poonawala, and U. Topcu. Sequential Convex Programming for the Efficient Verification of Parametric MDPs. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 133–150. Springer, 2017

M. Cubuktepe and U. Topcu. Intent Prediction in Shared Control with Delayed Feedback. In Proceedings of the Human Factors and Ergonomics Society Annual Meeting, volume 61, pages 733–734. SAGE Publications Sage CA: Los Angeles, CA, 2017.