Georg Friedrich Schuppe

About Georg Friedrich Schuppe

Georg Friedrich Schuppe, With an exceptional h-index of 2 and a recent h-index of 2 (since 2020), a distinguished researcher at Kungliga Tekniska högskolan, specializes in the field of Multi-Agent Systems.

His recent articles reflect a diverse array of research interests and contributions to the field:

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications

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

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints

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

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

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

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition

Georg Friedrich Schuppe Information

University

Position

PhD Student

Citations(all)

11

Citations(since 2020)

11

Cited By

0

hIndex(all)

2

hIndex(since 2020)

2

i10Index(all)

0

i10Index(since 2020)

0

Email

University Profile Page

Google Scholar

Georg Friedrich Schuppe Skills & Research Interests

Multi-Agent Systems

Top articles of Georg Friedrich Schuppe

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications

Autonomous Robots

2023/12

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

arXiv preprint arXiv:2309.05389

2023/9/11

Georg Friedrich Schuppe
Georg Friedrich Schuppe

H-Index: 0

Dilian Gurov
Dilian Gurov

H-Index: 8

Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints

2023/6/26

Wei Wang
Wei Wang

H-Index: 14

Georg Friedrich Schuppe
Georg Friedrich Schuppe

H-Index: 0

Jana Tumova
Jana Tumova

H-Index: 18

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

2023

Georg Friedrich Schuppe
Georg Friedrich Schuppe

H-Index: 0

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

2023

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

2021

Georg Friedrich Schuppe
Georg Friedrich Schuppe

H-Index: 0

Jana Tumova
Jana Tumova

H-Index: 18

Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition

2020/8/20

Georg Friedrich Schuppe
Georg Friedrich Schuppe

H-Index: 0

Jana Tumova
Jana Tumova

H-Index: 18

See List of Professors in Georg Friedrich Schuppe University(Kungliga Tekniska högskolan)

Co-Authors

academic-engine