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
Jahr 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