Skip to main content
Back to KTH start page

Georg Schuppe

Profile picture of Georg Schuppe

About me

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.


Courses

Programming and Scientific Computing (DD1318), assistant | Course web

Safe Robot Planning and Control (DD2415), assistant | Course web

Profile picture of Georg Schuppe