default search action
Murat Cubuktepe
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j10]Franck Djeumou
, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-guided IRL in POMDPs that scales. Artif. Intell. 317: 103856 (2023) - [j9]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis
Formal Methods for Autonomous Systems. Found. Trends Syst. Control. 10(3-4): 180-407 (2023) - [j8]Bo Wu
Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching. IEEE Trans. Autom. Control. 68(1): 532-539 (2023) - [j7]Franck Djeumou
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. IEEE Trans. Autom. Control. 68(4): 2245-2260 (2023) - [i24]Franck Djeumou, Christian Ellis, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided IRL in POMDPs that Scales. CoRR abs/2301.01219 (2023) - [i23]Cyrus Neary, Aryaman Singh Samyal, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable Reinforcement Learning Systems via Compositionality. CoRR abs/2309.06420 (2023) - [i22]Tichakorn Wongpiromsarn, Mahsa Ghasemi, Murat Cubuktepe, Georgios Bakirtzis, Steven Carr, Mustafa O. Karabag, Cyrus Neary, Parham Gohari, Ufuk Topcu:
Formal Methods for Autonomous Systems. CoRR abs/2311.01258 (2023) - 2022
- [j6]Thom S. Badings, Murat Cubuktepe, Nils Jansen
Scenario-based verification of uncertain parametric MDPs. Int. J. Softw. Tools Technol. Transf. 24(5): 803-819 (2022) - [j5]Murat Cubuktepe
Convex Optimization for Parameter Synthesis in MDPs. IEEE Trans. Autom. Control. 67(12): 6333-6348 (2022) - [j4]Murat Cubuktepe
Polynomial-Time Algorithms for Multiagent Minimal-Capacity Planning. IEEE Trans. Control. Netw. Syst. 9(3): 1327-1338 (2022) - [c18]Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning under Partial Information. ICAPS 2022: 53-61 - [c17]Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. ICAPS 2022: 615-623 - [d1]Thom S. Badings
Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'. Zenodo, 2022 - 2021
- [j3]Murat Cubuktepe
Synthesis of Provably Correct Autonomy Protocols for Shared Control. IEEE Trans. Autom. Control. 66(7): 3251-3258 (2021) - [j2]Murat Cubuktepe
Distributed Policy Synthesis of Multiagent Systems With Graph Temporal Logic Specifications. IEEE Trans. Control. Netw. Syst. 8(4): 1799-1810 (2021) - [c16]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. AAAI 2021: 11792-11800 - [c15]Frantisek Blahoudek, Murat Cubuktepe, Petr Novotný, Melkior Ornik, Pranay Thangeda, Ufuk Topcu:
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to Consumption. FM 2021: 640-656 - [i21]Murat Cubuktepe, Frantisek Blahoudek, Ufuk Topcu:
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning. CoRR abs/2105.01225 (2021) - [i20]Franck Djeumou, Murat Cubuktepe, Craig Lennon, Ufuk Topcu:
Task-Guided Inverse Reinforcement Learning Under Partial Information. CoRR abs/2105.14073 (2021) - [i19]Cyrus Neary, Christos K. Verginis, Murat Cubuktepe, Ufuk Topcu:
Verifiable and Compositional Reinforcement Learning Systems. CoRR abs/2106.05864 (2021) - [i18]Franck Djeumou, Zhe Xu, Murat Cubuktepe, Ufuk Topcu:
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach. CoRR abs/2106.15729 (2021) - [i17]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Convex Optimization for Parameter Synthesis in MDPs. CoRR abs/2107.00108 (2021) - [i16]Thom S. Badings, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain Parametric MDPs. CoRR abs/2112.13020 (2021) - 2020
- [j1]Yagiz Savas
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. IEEE Trans. Autom. Control. 65(4): 1552-1567 (2020) - [c14]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. AAMAS 2020: 267-275 - [c13]Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CDC 2020: 1750-1757 - [c12]Marnix Suilen, Nils Jansen
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. IJCAI 2020: 4113-4120 - [c11]Murat Cubuktepe
Scenario-Based Verification of Uncertain MDPs. TACAS (1) 2020: 287-305 - [i15]Bo Wu, Murat Cubuktepe, Franck Djeumou, Zhe Xu
Policy Synthesis for Switched Linear Systems with Markov Decision Process Switching. CoRR abs/2001.00835 (2020) - [i14]Marnix Suilen, Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization. CoRR abs/2001.08174 (2020) - [i13]Murat Cubuktepe, Zhe Xu, Ufuk Topcu:
Policy Synthesis for Factored MDPs with Graph Temporal Logic Specifications. CoRR abs/2001.09066 (2020) - [i12]Murat Cubuktepe, Takashi Tanaka, Ufuk Topcu:
Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization. CoRR abs/2004.02356 (2020) - [i11]Murat Cubuktepe, Zhe Xu
Distributed Policy Synthesis of Multi-Agent Systems With Graph Temporal Logic Specifications. CoRR abs/2006.14947 (2020) - [i10]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Ahmadreza Marandi, Marnix Suilen, Ufuk Topcu:
Robust Finite-State Controllers for Uncertain POMDPs. CoRR abs/2009.11459 (2020)
2010 – 2019
- 2019
- [c10]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu
Reward-Based Deception with Cognitive Bias. CDC 2019: 2265-2270 - [c9]Bo Wu, Murat Cubuktepe, Ufuk Topcu
Switched Linear Systems Meet Markov Decision Processes: Stability Guaranteed Policy Synthesis. CDC 2019: 2509-2516 - [i9]Bo Wu, Murat Cubuktepe, Suda Bharadwaj, Ufuk Topcu:
Reward-Based Deception with Cognitive Bias. CoRR abs/1904.11454 (2019) - [i8]Murat Cubuktepe, Nils Jansen, Mohammed Alshiekh, Ufuk Topcu:
Synthesis of Provably Correct Autonomy Protocols for Shared Control. CoRR abs/1905.06471 (2019) - [i7]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
Scenario-Based Verification of Uncertain MDPs. CoRR abs/1912.11223 (2019) - 2018
- [c8]Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. ADHS 2018: 115-120 - [c7]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen
Verification of Uncertain POMDPs Using Barrier Certificates. Allerton 2018: 115-122 - [c6]Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu
Entropy Maximization for Constrained Markov Decision Processes. Allerton 2018: 911-918 - [c5]Murat Cubuktepe, Ufuk Topcu
Verification of Markov Decision Processes with Risk-Sensitive Measures. ACC 2018: 2371-2377 - [c4]Mohamadreza Ahmadi, Murat Cubuktepe, Ufuk Topcu
Distributed Synthesis Using Accelerated ADMM. ACC 2018: 6206-6211 - [c3]Murat Cubuktepe, Nils Jansen
Synthesis in pMDPs: A Tale of 1001 Parameters. ATVA 2018: 160-176 - [i6]Murat Cubuktepe, Ufuk Topcu:
Verification of Markov Decision Processes with Risk-Sensitive Measures. CoRR abs/1803.00091 (2018) - [i5]Yagiz Savas, Melkior Ornik, Murat Cubuktepe, Ufuk Topcu:
Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints. CoRR abs/1807.03223 (2018) - [i4]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Ufuk Topcu:
Verification of Uncertain POMDPs Using Barrier Certificates. CoRR abs/1807.03823 (2018) - [i3]Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ufuk Topcu:
The Partially Observable Games We Play for Cyber Deception. CoRR abs/1810.00092 (2018) - 2017
- [c2]Nils Jansen
Synthesis of shared control protocols with provable safety and performance guarantees. ACC 2017: 1866-1873 - [c1]Murat Cubuktepe, Nils Jansen
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. TACAS (2) 2017: 133-150 - [i2]Murat Cubuktepe, Nils Jansen, Sebastian Junges, Joost-Pieter Katoen, Ivan Papusha, Hasan A. Poonawala, Ufuk Topcu:
Sequential Convex Programming for the Efficient Verification of Parametric MDPs. CoRR abs/1702.00063 (2017) - 2016
- [i1]Nils Jansen, Murat Cubuktepe, Ufuk Topcu:
Synthesis of Shared Control Protocols with Provable Safety and Performance Guarantees. CoRR abs/1610.08500 (2016)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-05 20:56 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: