28 citations · 56 across the 22 of their papers we have counts for
6 papers · 1 filter
Scenario-Based Verification of Uncertain Parametric MDPs
Thom Badings, Murat Cubuktepe, Nils Jansen +3
We consider parametric Markov decision processes (pMDPs) that are augmented with unknown probability distributions over parameter values. The problem is to compute the probability…
Convex Optimization for Parameter Synthesis in MDPs
Murat Cubuktepe, Nils Jansen, Sebastian Junges +2
Probabilistic model checking aims to prove whether a Markov decision process (MDP) satisfies a temporal logic specification. The underlying methods rely on an often unrealistic ass…
Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach
Franck Djeumou, Zhe Xu, Murat Cubuktepe +1
We develop a probabilistic control algorithm, , for swarms of agents with heterogeneous dynamics and objectives, subject to high-level task specifications. The r…
Verifiable and Compositional Reinforcement Learning Systems
Cyrus Neary, Christos Verginis, Murat Cubuktepe +1
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…
Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Murat Cubuktepe, František Blahoudek, Ufuk Topcu
We study the problem of minimizing the resource capacity of autonomous agents cooperating to achieve a shared task. More specifically, we consider high-level planning for a team of…
Task-Guided Inverse Reinforcement Learning Under Partial Information
Franck Djeumou, Murat Cubuktepe, Craig Lennon +1
We study the problem of inverse reinforcement learning (IRL), where the learning agent recovers a reward function using expert demonstrations. Most of the existing IRL techniques m…