Working as a Researcher at SEBx.

I was a PhD student at the KTH Royal Institute of Technology in the Division of Robotics, Perception and Learning under supervision by Jana Tumova. I was also an affiliated PhD student in the WASP program.

In my thesis, 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 negotation through assumption exchange between agents, but also between agents and humans are the overarching theme of this work.

• G. F. Schuppe, "Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications," Diss. KTH Royal Institute of Technology, 2023, [pdf]

• G. F. Schuppe and J. Tumova, "Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition," 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE), [doi] [pdf]

• G. F. Schuppe and J. Tumova, "Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers," 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS), [doi] [pdf]

• G. F. Schuppe, I. Torre, I. Leite and J. Tumova, "Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop,", 2023 Robotics: Science and Systems (RSS), [pdf]

• C. Pek*, G. F. Schuppe*, F. Esposito, J. Tumova, and D. Kragic, "SpaTiaL: Monitoring and Planning of Robotic Tasks Using Spatio-Temporal Logic Specifications," 2023 Autonomous Robots (AuRo). [doi] [pdf]

• W. Wang, G. F. Schuppe and J. Tumova, "Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints," 2023 31st Mediterranean Conference on Control and Automation (MED), [doi] [pdf]

• G. F. Schuppe and D. Gurov, "Soundness and Completeness of a Model-Checking Proof System for CTL," arXiv preprint arXiv:2309.05389, [doi] [pdf]

*The authors contributed equally to this work

• Nominated for Best Student Paper Finalist at IEEE MRS 2021
• Recipient of the Karl Engvers Stiftelse Research Travel Grant 2020

• "Decentralized Multi-Agent Strategy Synthesis via Exchange of Least-Limiting Advisers," presented at MRS 2021, [pdf]
• "Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop," presented at RSS 2023, [pdf]

• Google Scholar
• Curriculum Vitae