Georg Friedrich Schuppe
Kungliga Tekniska högskolan
H-index: 2
Europe-Sweden
Top articles of Georg Friedrich Schuppe
SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
Autonomous Robots
2023/12
Christian Pek
H-Index: 9
Georg Friedrich Schuppe
H-Index: 0
Francesco Esposito
H-Index: 11
Jana Tumova
H-Index: 18
Danica Kragic
H-Index: 41
Soundness and Completeness of a Model-Checking Proof System for CTL
arXiv preprint arXiv:2309.05389
2023/9/11
Georg Friedrich Schuppe
H-Index: 0
Dilian Gurov
H-Index: 8
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints
2023/6/26
Assumptions in Synthesis: An Approach to Multi-Agent Planning from Spatio-Temporal Specifications
2023
Georg Friedrich Schuppe
H-Index: 0
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop
2023
Georg Friedrich Schuppe
H-Index: 0
Ilaria Torre
H-Index: 11
Iolanda Leite
H-Index: 25
Jana Tumova
H-Index: 18
Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers
2021
Georg Friedrich Schuppe
H-Index: 0
Jana Tumova
H-Index: 18
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition
2020/8/20
Georg Friedrich Schuppe
H-Index: 0
Jana Tumova
H-Index: 18