Georg Schuppe

I apply methods from Formal Verification to the domain of Multi-Robot Systems by synthesizing correct-by-design strategies over Linear Time Logic specifications in a scalable manner. Strategy negotiation through assumption exchange between agents, but also between agents and humans are the current focus of my work.

I am an affiliated PhD student in the WASP program.

Also see my GitHub page.