Sök böcker

Här kan du söka dig fram till bra böcker. Klicka sen på en bok för att läsa mer om den!

Sökning efter: Georg Friedrich Schuppe 4 träffar

Titel Författare År Språk
1 Multi-Agent Strategy Synthesis for LTL Specifications through Assumption Composition 2020 IEEE 16th International Conference on Automation Science and Engineering (CASE) Georg Friedrich Schuppe 2020 Engelska
2 Decentralized Multi-Agent Strategy Synthesis under LTLf Specifications via Exchange of Least-Limiting Advisers 2021 International Symposium on Multi-Robot and Multi-Agent Systems (MRS) Georg Friedrich Schuppe 2021 Engelska
3-4 Assumptions in Synthesis - An Approach to Multi-Agent Planning from Spatio-Temporal Specifications (flera utgåvor) Georg Friedrich Schuppe 2023 Engelska

1

Sökningen görs direkt i Kungl. bibliotekets söktjänst libris. Libris katalog innehåller närmare 7 miljoner titlar från ca 170 bibliotek i Sverige och biblioteken samarbetar om att hålla katalogen uppdaterad. Utan libris skulle inte en tjänst som Boktraven vara möjlig.