KIT | KIT-Bibliothek | Impressum | Datenschutz

Improving automata generation for linear temporal logic by considering the automation hierarchy

Schneider, Klaus



Zugehörige Institution(en) am KIT Institut für Rechnerentwurf und Fehlertoleranz (IRF)
Publikationstyp Buchaufsatz
Publikationsjahr 2001
Sprache Englisch
Identifikator KITopen-ID: 30702001
Erscheinungsvermerk In: Logic for programming, artificial intelligence reasoning. LPAR 2001. Berlin 2001. S. 39-54. (Lecture notes in artificial intelligence. 2250.)
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page