KIT | KIT-Bibliothek | Impressum | Datenschutz

PASAR Planning as Satisfiability with Abstraction Refinement

Froleyks, Nils


Volltext §
DOI: 10.5445/IR/1000124304
Veröffentlicht am 08.10.2020
Cover der Publikation
Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Hochschulschrift
Publikationsjahr 2020
Sprache Englisch
Identifikator KITopen-ID: 1000124304
Verlag Karlsruher Institut für Technologie (KIT)
Umfang vii, 66 S.
Art der Arbeit Abschlussarbeit - Master
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page