The following pages link to Murat Cubuktepe (Q3303924):
Displaying 8 items.
- Sequential Convex Programming for the Efficient Verification of Parametric MDPs (Q3303926) (← links)
- Synthesis of Provably Correct Autonomy Protocols for Shared Control (Q5002136) (← links)
- Scenario-Based Verification of Uncertain MDPs (Q5039513) (← links)
- Entropy Maximization for Markov Decision Processes Under Temporal Logic Constraints (Q5125574) (← links)
- Convex Optimization for Parameter Synthesis in MDPs (Q6053142) (← links)
- Probabilistic Control of Heterogeneous Swarms Subject to Graph Temporal Logic Specifications: A Decentralized and Scalable Approach (Q6053263) (← links)
- Policy Synthesis for Switched Linear Systems With Markov Decision Process Switching (Q6137536) (← links)
- Task-guided IRL in POMDPs that scales (Q6157197) (← links)
