Picture for Peter J. Stuckey

Peter J. Stuckey

Anytime Approximate Formal Feature Attribution

Dec 12, 2023
Figure 1 for Anytime Approximate Formal Feature Attribution
Figure 2 for Anytime Approximate Formal Feature Attribution
Figure 3 for Anytime Approximate Formal Feature Attribution
Figure 4 for Anytime Approximate Formal Feature Attribution
Viaarxiv icon

Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding

Aug 23, 2023
Figure 1 for Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
Figure 2 for Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
Figure 3 for Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
Figure 4 for Traffic Flow Optimisation for Lifelong Multi-Agent Path Finding
Viaarxiv icon

The divergence time of protein structures modelled by Markov matrices and its relation to the divergence of sequences

Aug 11, 2023
Viaarxiv icon

Lifted Sequential Planning with Lazy Constraint Generation Solvers

Add code
Jul 17, 2023
Figure 1 for Lifted Sequential Planning with Lazy Constraint Generation Solvers
Figure 2 for Lifted Sequential Planning with Lazy Constraint Generation Solvers
Figure 3 for Lifted Sequential Planning with Lazy Constraint Generation Solvers
Figure 4 for Lifted Sequential Planning with Lazy Constraint Generation Solvers
Viaarxiv icon

On Formal Feature Attribution and Its Approximation

Add code
Jul 14, 2023
Figure 1 for On Formal Feature Attribution and Its Approximation
Figure 2 for On Formal Feature Attribution and Its Approximation
Figure 3 for On Formal Feature Attribution and Its Approximation
Figure 4 for On Formal Feature Attribution and Its Approximation
Viaarxiv icon

Reducing Redundant Work in Jump Point Search

Add code
Jun 28, 2023
Figure 1 for Reducing Redundant Work in Jump Point Search
Figure 2 for Reducing Redundant Work in Jump Point Search
Figure 3 for Reducing Redundant Work in Jump Point Search
Figure 4 for Reducing Redundant Work in Jump Point Search
Viaarxiv icon

Scalable Rail Planning and Replanning with Soft Deadlines

Jun 10, 2023
Figure 1 for Scalable Rail Planning and Replanning with Soft Deadlines
Figure 2 for Scalable Rail Planning and Replanning with Soft Deadlines
Viaarxiv icon

Tracking Progress in Multi-Agent Path Finding

Add code
May 15, 2023
Figure 1 for Tracking Progress in Multi-Agent Path Finding
Figure 2 for Tracking Progress in Multi-Agent Path Finding
Figure 3 for Tracking Progress in Multi-Agent Path Finding
Figure 4 for Tracking Progress in Multi-Agent Path Finding
Viaarxiv icon

Eliminating The Impossible, Whatever Remains Must Be True

Add code
Jun 20, 2022
Figure 1 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 2 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 3 for Eliminating The Impossible, Whatever Remains Must Be True
Figure 4 for Eliminating The Impossible, Whatever Remains Must Be True
Viaarxiv icon

Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery

Add code
Oct 28, 2021
Figure 1 for Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery
Figure 2 for Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery
Figure 3 for Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery
Figure 4 for Integrated Task Assignment and Path Planning for Capacitated Multi-Agent Pickup and Delivery
Viaarxiv icon