2024
Time-Ordered Ad-hoc Resource Sharing for Independent Robotic Agents
IROS 2024poster
Resource sharing is a crucial part of a multi-robot system. We propose a Boolean satisfiability problem (SAT) based approach to resource sharing. Our key contributions are an algorithm for converting any constrained assignment to a weighted-SAT based optimization. We propose a theorem that allows op…