Rachel Schlossman

Toward Achieving Formal Guarantees for Human-Aware Controllers in Human-Robot Interactions

With the primary objective of human-robot interaction being to support humans' goals, there exists a need to formally synthesize robot controllers that can provide the desired service. Synthesis techniques have the benefit of providing formal guarantees for specification satisfaction. There is poten…