Murat Cubuktepe

54 papers A* 4A 2B 2C 3Journal 35Unranked 8

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Endogenous Resistance to Activation Steering in Language Models. CoRR Alex McKenzie, Keenan Pepper, Stijn Servaes, Martin Leitgab, Murat Cubuktepe, Mike Vaiana, Diogo S. de Lucena, Judd Rosenblatt, Michael S. A. Graziano
2024	A	`conf`	Scalable Multi-Agent Reinforcement Learning for Warehouse Logistics with Robotic and Human Co-Workers. IROS Aleksandar Krnjaic, Raul D. Steleac, Jonathan D. Thomas, Georgios Papoudakis, Lukas Schäfer, Andrew Wing-Keung To, Kuan-Ho Lao, Murat Cubuktepe, Matthew Haley, Peter Börsting, Stefano V. Albrecht
2023	J	`jnl`	Formal Methods for Autonomous Systems. CoRR Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023	J	`jnl`	Formal Methods for Autonomous Systems. Found. Trends Syst. Control. Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu
2023	J	`jnl`	Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2023	J	`jnl`	Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2023	J	`jnl`	Task-Guided IRL in POMDPs that Scales. CoRR Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2023	J	`jnl`	Task-guided IRL in POMDPs that scales. Artif. Intell. Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2023	J	`jnl`	Verifiable Reinforcement Learning Systems via Compositionality. CoRR Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2022	J	`jnl`	Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022	J	`jnl`	Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
2022	J	`jnl`	Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2022	A*	`conf`	Task-Guided Inverse Reinforcement Learning under Partial Information. ICAPS Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2022	A*	`conf`	Verifiable and Compositional Reinforcement Learning Systems. ICAPS Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2021	J	`jnl`	Convex Optimization for Parameter Synthesis in MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021	J	`jnl`	Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2021	B	`conf`	Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu
2021	J	`jnl`	Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu
2021	J	`jnl`	Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu
2021	A*	`conf`	Robust Finite-State Controllers for Uncertain POMDPs. AAAI Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2021	J	`jnl`	Scenario-Based Verification of Uncertain Parametric MDPs. CoRR Thom Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2021	J	`jnl`	Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2021	J	`jnl`	Task-Guided Inverse Reinforcement Learning Under Partial Information. CoRR Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu
2021	J	`jnl`	Verifiable and Compositional Reinforcement Learning Systems. CoRR Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu
2020	J	`jnl`	Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. IEEE Trans. Autom. Control. Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Mustafa O. Karabag, Ufuk Topcu
2020	A	`conf`	Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR Murat Cubuktepe, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu, Ufuk Topcu
2020	J	`jnl`	Robust Finite-State Controllers for Uncertain POMDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu
2020	J	`jnl`	Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization CoRR Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020	A*	`conf`	Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2020	—	`conf`	Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CDC Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
2020	J	`jnl`	Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CoRR Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
2020	—	`conf`	Scenario-Based Verification of Uncertain MDPs. TACAS (1) Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019	—	`conf`	Reward-Based Deception with Cognitive Bias. CDC Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019	J	`jnl`	Reward-Based Deception with Cognitive Bias. CoRR Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
2019	J	`jnl`	Scenario-Based Verification of Uncertain MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2019	—	`conf`	Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC Bo Wu, Murat Cubuktepe, Ufuk Topcu
2019	J	`jnl`	Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu
2018	—	`conf`	Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey
2018	C	`conf`	Distributed Synthesis Using Accelerated ADMM. ACC Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu, Takashi Tanaka
2018	—	`conf`	Entropy Maximization for Constrained Markov Decision Processes. Allerton Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
2018	J	`jnl`	Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
2018	B	`conf`	Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018	J	`jnl`	The Partially Observable Games We Play for Cyber Deception. CoRR Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu
2018	C	`conf`	Verification of Markov Decision Processes with Risk-Sensitive Measures. ACC Murat Cubuktepe, Ufuk Topcu
2018	J	`jnl`	Verification of Markov Decision Processes with Risk-Sensitive Measures. CoRR Murat Cubuktepe, Ufuk Topcu
2018	—	`conf`	Verification of Uncertain POMDPs Using Barrier Certificates. Allerton Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2018	J	`jnl`	Verification of Uncertain POMDPs Using Barrier Certificates. CoRR Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu
2017	—	`conf`	Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017	J	`jnl`	Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu
2017	C	`conf`	Synthesis of shared control protocols with provable safety and performance guarantees. ACC Nils Jansen, Murat Cubuktepe, Ufuk Topcu
2016	J	`jnl`	Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR Nils Jansen, Murat Cubuktepe, Ufuk Topcu