Picture for Murat Cubuktepe

Murat Cubuktepe

Formal Methods for Autonomous Systems

Add code
Nov 02, 2023
Viaarxiv icon

Verifiable Reinforcement Learning Systems via Compositionality

Add code
Sep 09, 2023
Viaarxiv icon

Task-Guided IRL in POMDPs that Scales

Add code
Dec 30, 2022
Viaarxiv icon

Convex Optimization for Parameter Synthesis in MDPs

Add code
Jun 30, 2021
Figure 1 for Convex Optimization for Parameter Synthesis in MDPs
Figure 2 for Convex Optimization for Parameter Synthesis in MDPs
Figure 3 for Convex Optimization for Parameter Synthesis in MDPs
Figure 4 for Convex Optimization for Parameter Synthesis in MDPs
Viaarxiv icon

Verifiable and Compositional Reinforcement Learning Systems

Add code
Jun 07, 2021
Figure 1 for Verifiable and Compositional Reinforcement Learning Systems
Figure 2 for Verifiable and Compositional Reinforcement Learning Systems
Figure 3 for Verifiable and Compositional Reinforcement Learning Systems
Figure 4 for Verifiable and Compositional Reinforcement Learning Systems
Viaarxiv icon

Task-Guided Inverse Reinforcement Learning Under Partial Information

Add code
May 28, 2021
Figure 1 for Task-Guided Inverse Reinforcement Learning Under Partial Information
Figure 2 for Task-Guided Inverse Reinforcement Learning Under Partial Information
Viaarxiv icon

Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning

Add code
May 04, 2021
Figure 1 for Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Figure 2 for Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Figure 3 for Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Figure 4 for Polynomial-Time Algorithms for Multi-Agent Minimal-Capacity Planning
Viaarxiv icon

Robust Finite-State Controllers for Uncertain POMDPs

Add code
Sep 24, 2020
Figure 1 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 2 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 3 for Robust Finite-State Controllers for Uncertain POMDPs
Figure 4 for Robust Finite-State Controllers for Uncertain POMDPs
Viaarxiv icon

Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization

Add code
Apr 11, 2020
Figure 1 for Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Figure 2 for Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Figure 3 for Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Figure 4 for Scalable Synthesis of Minimum-Information Linear-Gaussian Control by Distributed Optimization
Viaarxiv icon

Synthesis of Provably Correct Autonomy Protocols for Shared Control

Add code
May 15, 2019
Figure 1 for Synthesis of Provably Correct Autonomy Protocols for Shared Control
Figure 2 for Synthesis of Provably Correct Autonomy Protocols for Shared Control
Figure 3 for Synthesis of Provably Correct Autonomy Protocols for Shared Control
Figure 4 for Synthesis of Provably Correct Autonomy Protocols for Shared Control
Viaarxiv icon