Symbolic reactive synthesis

zu Verbundenen Objekten

Standort
Deutsche Nationalbibliothek Frankfurt am Main
Umfang
Online-Ressource
Sprache
Englisch
Anmerkungen
Saarbrücken, Universität des Saarlandes, Dissertation, 2019

Ereignis
Veröffentlichung
(wo)
Saarbrücken
(wer)
Saarländische Universitäts- und Landesbibliothek
(wann)
2019
Urheber
Tentrup, Leander
Beteiligte Personen und Organisationen
Finkbeiner, Bernd

DOI
10.22028/D291-29983
URN
urn:nbn:de:bsz:291--ds-299836
Rechteinformation
Der Zugriff auf das Objekt ist unbeschränkt möglich.
Letzte Aktualisierung
14.08.2025, 10:46 MESZ

Datenpartner

Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Original beim Datenpartner anzeigen

Beteiligte

  • Tentrup, Leander
  • Finkbeiner, Bernd
  • Saarländische Universitäts- und Landesbibliothek

Entstanden

  • 2019

Ähnliche Objekte (12)

Learning Vector Symbolic Architectures for Reactive Robot Behaviours

Learning Vector Symbolic Architectures for Reactive Robot Behaviours

Symbolic controller synthesis for LTL specifications

Hochschulschrift

Symbolic controller synthesis for LTL specifications

Reactive fluoropolymers synthesis and application

Hochschulschrift

Reactive fluoropolymers synthesis and application

Synthesis of reactive distillation processes

Hochschulschrift

Synthesis of reactive distillation processes

Reactive fluoropolymers : synthesis and application

Hochschulschrift

Reactive fluoropolymers : synthesis and application

Synthesis of reactive polyether copolymers

Synthesis of reactive polyether copolymers

Compositional synthesis of reactive systems

Compositional synthesis of reactive systems

Specifiable robustness in reactive synthesis

Specifiable robustness in reactive synthesis

Symbolic Threats

Standfoto

Symbolic Threats

Symbolic childhood

Aufsatzsammlung

Symbolic childhood

Symbolic asymptotics

Symbolic asymptotics

Symbolic trajectories

Symbolic trajectories

Verbundene Objekte