Paper Submission: Robots Helping Humans to Coordinate Workload Backlog

This work explores the use of formal methods to construct human-aware robot controllers to support the productivity requirements of humans. We tackle these types of scenarios via human workload-informed models and reactive synthesis. This strategy allows us to synthesize controllers that fulfill formal specifications that are expressed as linear temporal logic formulas.

Leave a Reply

Your email address will not be published. Required fields are marked *

*