Kungliga Tekniska Högskolanhttps://www.kth.se/profile/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.
Programming and Scientific Computing (DD1318), assistant | Course web
Safe Robot Planning and Control (DD2415), assistant | Course web