Concepedia

Murat Cubuktepe

MC

9

Publications

144

Citations

9

H-Index

2018

Active since

Affiliations

The University of Texas at Austin(Current)

Radboud University Nijmegen

RWTH Aachen University

Murat Cubuktepe is an author at The University of Texas at Austin specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringComputer ScienceSystems EngineeringUncertainty QuantificationBusinessVerificationFormal MethodsRobot LearningAutomated ReasoningFormal Verification

Publications per year

2018–2024

9

Publications

9

Robust Finite-State Controllers for Uncertain POMDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 2021 · 21 citations · Full text

Mathematical Programming, Engineering, Robust Control +17

Scenario-Based Verification of Uncertain MDPs

Murat Cubuktepe, Nils Jansen, Sebastian Junges et al. · Lecture notes in computer science · 2020 · 19 citations · Full text

Reliability Engineering, Engineering, Automated Reasoning +10

Verification of Uncertain POMDPs Using Barrier Certificates

Mohamadreza Ahmadi, Murat Cubuktepe, Nils Jansen et al. · 2018 · 17 citations

Stochastic Hybrid System, Engineering, Barrier Certificates +13

Robust Policy Synthesis for Uncertain POMDPs via Convex Optimization

Marnix Suilen, Nils Jansen, Murat Cubuktepe et al. · Radboud Repository (Radboud University) · 2020 · 16 citations

Experiments for 'Scenario-Based Verification of Uncertain Parametric MDPs'

Thom Badings, Murat Cubuktepe, Nils Jansen et al. · Data Archiving and Networked Services (DANS) · 2022 · 16 citations · Full text

Rows per page

1–5 of 9