Picture for Julian Gutierrez

Julian Gutierrez

On the Complexity of Rational Verification

Add code
Jul 06, 2022
Figure 1 for On the Complexity of Rational Verification
Viaarxiv icon

Rational Verification for Probabilistic Systems

Add code
Jul 26, 2021
Figure 1 for Rational Verification for Probabilistic Systems
Figure 2 for Rational Verification for Probabilistic Systems
Figure 3 for Rational Verification for Probabilistic Systems
Viaarxiv icon

Equilibrium Design for Concurrent Games

Add code
Jun 18, 2021
Figure 1 for Equilibrium Design for Concurrent Games
Viaarxiv icon

Multi-Agent Reinforcement Learning with Temporal Logic Specifications

Add code
Feb 09, 2021
Figure 1 for Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Figure 2 for Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Figure 3 for Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Figure 4 for Multi-Agent Reinforcement Learning with Temporal Logic Specifications
Viaarxiv icon

Multi-Player Games with LDL Goals over Finite Traces

Add code
Aug 13, 2020
Viaarxiv icon

Equilibria for Games with Combined Qualitative and Quantitative Objectives

Add code
Aug 13, 2020
Figure 1 for Equilibria for Games with Combined Qualitative and Quantitative Objectives
Viaarxiv icon

Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games

Add code
Aug 13, 2020
Figure 1 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 2 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 3 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Figure 4 for Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player Games
Viaarxiv icon