Georg Friedrich Schuppe

KTH Royal Institute of Technology — Sweden

Computer Science · Physical Sciences

3h-index23citations8works0.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Formal Methods in Verification(5), Logic, Reasoning, and Knowledge(4), Model-Driven Software Engineering Techniques(2), Modular Robots and Swarm Intelligence(2), Logic, programming, and type systems(1)

Publications8 total

SpaTiaL: monitoring and planning of robotic tasks using spatio-temporal logic specifications
Autonomous Robots·2023· 7 citedOpen Access
Soundness and Completeness of a Model-Checking Proof System for CTL
arXiv (Cornell University)·2023Open Access
Follow my Advice: Assume-Guarantee Approach to Task Planning with Human in the Loop
2023Open Access
Decentralized Multi-agent Coordination under MITL Specifications and Communication Constraints
2023· 3 cited
SpaTiaL: Monitoring and Planning of Robotic Tasks Using Spatio-Temporal Logic Specifications
Research Square (Research Square)·2023· 2 citedOpen Access
Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints
2022· 4 cited
Decentralized Multi-Agent Strategy Synthesis under LTL<sub>f</sub> Specifications via Exchange of Least-Limiting Advisers
2021· 1 citedOpen Access
Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition
2020· 6 citedOpen Access

Frequent Co-authors

Jana Tůmová(7), Christian Pek(2), Francesco Esposito(2), Danica Kragic(2), Wei Wang(1), Wei Wang(1), Dilian Gurov(1), Ilaria Torre(1), Iolanda Leite(1)