Georg Friedrich Schuppe

According to our database, Georg Friedrich Schuppe authored at least 8 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, December, 2023

Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications.

Georg Friedrich Schuppe

PhD thesis, 2023

Soundness and Completeness of a Model-Checking Proof System for CTL.

Georg Friedrich Schuppe, Dilian Gurov

CoRR, 2023

Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop.

Georg Friedrich Schuppe, Ilaria Torre, Iolanda Leite, Jana Tumova

Proceedings of the Robotics: Science and Systems XIX, Daegu, 2023

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints.

Wei Wang, Georg Friedrich Schuppe, Jana Tumova

Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

2022

Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints.

Wei Wang, Georg Friedrich Schuppe, Jana Tumova

Proceedings of the 13th ACM/IEEE International Conference on Cyber-Physical Systems, 2022

2021

Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers.

Georg Friedrich Schuppe, Jana Tumova

Proceedings of the International Symposium on Multi-Robot and Multi-Agent Systems, 2021

2020

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition.

Georg Friedrich Schuppe, Jana Tumova

Proceedings of the 16th IEEE International Conference on Automation Science and Engineering, 2020