Zum Inhalt springen

  1. Kupferman, Orna [VerfasserIn]; Lustig, Yoad [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn]; Yannakakis, Mihalis [VerfasserIn] ; Orna Kupferman and Yoad Lustig and Moshe Y. Vardi and Mihalis Yannakakis [MitwirkendeR]

    Temporal Synthesis for Bounded Systems and Environments

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  2. Lustig, Yoad [VerfasserIn]; Nain, Sumit [VerfasserIn]; Vardi, Moshe Y. [VerfasserIn] ; Yoad Lustig and Sumit Nain and Moshe Y. Vardi [MitwirkendeR]

    Synthesis from Probabilistic Components

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2011

  3. Fijalkow, Nathanaël [VerfasserIn]; Finkbeiner, Bernd [VerfasserIn]; Pérez, Guillermo A. [VerfasserIn]; Polgreen, Elizabeth [VerfasserIn]; Morvan, Rémi [VerfasserIn] ; Nathanaël Fijalkow and Bernd Finkbeiner and Guillermo A. Pérez and Elizabeth Polgreen and Rémi Morvan [MitwirkendeR]

    The Futures of Reactive Synthesis (Dagstuhl Seminar 23391)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2024

  4. Gutierrez, Julian [VerfasserIn]; Kraus, Sarit [VerfasserIn]; Perelli, Giuseppe [VerfasserIn]; Wooldridge, Michael [VerfasserIn] ; Julian Gutierrez and Sarit Kraus and Giuseppe Perelli and Michael Wooldridge [MitwirkendeR]

    Giving Instructions in Linear Temporal Logic

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2022

  5. Gutierrez, Julian [VerfasserIn]; Najib, Muhammad [VerfasserIn]; Perelli, Giuseppe [VerfasserIn]; Wooldridge, Michael [VerfasserIn] ; Julian Gutierrez and Muhammad Najib and Giuseppe Perelli and Michael Wooldridge [MitwirkendeR]

    Equilibrium Design for Concurrent Games

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019

  6. Stöhr, Daniel [VerfasserIn] ; Glesner, Sabine [AkademischeR BetreuerIn]; Weske, Mathias [AkademischeR BetreuerIn]; Nestmann, Uwe [AkademischeR BetreuerIn]

    Automated composition of timed services in medical applications

    Bücher
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Berlin: Technische Universität Berlin, 2014

  7. Cerrito, Serenella [VerfasserIn]; Goranko, Valentin [VerfasserIn]; Paillocher, Sophie [VerfasserIn] ; Serenella Cerrito and Valentin Goranko and Sophie Paillocher [MitwirkendeR]

    Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2023

  8. Lomuscio, Alessio R. [VerfasserIn]; Pinchinat, Sophie [VerfasserIn]; Schlingloff, Holger [VerfasserIn] ; Alessio R. Lomuscio and Sophie Pinchinat and Holger Schlingloff [MitwirkendeR]

    VaToMAS - Verification and Testing of Multi-Agent Systems (Dagstuhl Seminar 13181)

    Aufsätze
    Online ansehen
    Schließen

    Merkliste

    Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

    Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2013