Picture for Ocan Sankur

Ocan Sankur

DEVINE, UR

Online Test Synthesis From Requirements: Enhancing Reinforcement Learning with Game Theory

Add code
Jul 26, 2024
Viaarxiv icon

Conflict-Based Search for Connected Multi-Agent Path Finding

Add code
Jun 05, 2020
Figure 1 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 2 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 3 for Conflict-Based Search for Connected Multi-Agent Path Finding
Figure 4 for Conflict-Based Search for Connected Multi-Agent Path Finding
Viaarxiv icon

Reachability and Coverage Planning for Connected Agents: Extended Version

Add code
Mar 11, 2019
Figure 1 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 2 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 3 for Reachability and Coverage Planning for Connected Agents: Extended Version
Figure 4 for Reachability and Coverage Planning for Connected Agents: Extended Version
Viaarxiv icon