Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. - Georg Friedrich Schuppe; Jana Tumova (CASE, 2020)

Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. - Georg Friedrich Schuppe; Jana Tumova (MRS, 2021)

Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. - Wei Wang; Georg Friedrich Schuppe; Jana Tumova (ICCPS, 2022)

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. - Wei Wang; Georg Friedrich Schuppe; Jana Tumova (MED, 2023)

Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. - Georg Friedrich Schuppe; Ilaria Torre 001; Iolanda Leite; Jana Tumova (Robotics: Science and Systems, 2023)

Soundness and Completeness of a Model-Checking Proof System for CTL. - Georg Friedrich Schuppe; Dilian Gurov (CoRR, 2023)

Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications. - Georg Friedrich Schuppe (2023)

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications. - Christian Pek; Georg Friedrich Schuppe; Francesco Esposito; Jana Tumova; Danica Kragic (Auton. Robots, 2023)