Georg Friedrich Schuppe

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Multi Agent Coordination

Temporally Extended Goals

Top Venues

Publications

Wei Wang, Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints. MED (2023)
Georg Friedrich Schuppe, Dilian Gurov
Soundness and Completeness of a Model-Checking Proof System for CTL. CoRR (2023)
Christian Pek, Georg Friedrich Schuppe, Francesco Esposito, Jana Tumova, Danica Kragic
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications. Auton. Robots 47 (8) (2023)
Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite, Jana Tumova
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop. Robotics: Science and Systems (2023)
Wei Wang, Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. ICCPS (2022)
Georg Friedrich Schuppe, Jana Tumova
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers. MRS (2021)
Georg Friedrich Schuppe, Jana Tumova
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition. CASE (2020)