Publikationsdienste
→
TOBIAS-portale
→
Dokumente von Tagungen, Kongressen, Workshops und Projekten
→
Auflistung Dokumente von Tagungen, Kongressen, Workshops und Projekten nach Autor

Auflistung Dokumente von Tagungen, Kongressen, Workshops und Projekten nach Autor "Wimmer, Ralf"

Anzeige der Dokumente 1-2 von 2

Abstraktions-basierte Verifikation von POMDPs im Motion-Planning-Kontext

Winterer, Leonore; Junges, Sebastian; Wimmer, Ralf; Jansen, Nils; Topcu, Ufuk; Katoen, Joost-Pieter; Becker, Bernd (2018-03-13); Konferenzpaper
From DQBF to QBF by Dependency Elimination

Wimmer, Ralf; Karrenbauer, Andreas; Becker, Ruben; Scholl, Christoph; Becker, Bernd (2018-03-13); Konferenzpaper

Anzeige der Dokumente 1-2 von 2

Veröffentlichen

Stöbern

Gesamter Bestand
In diesem Bereich

Mein Benutzerkonto

Einloggen