Vierwertige Timed-Linear-Temporal-Logic

Marco Bierschenk

Abstract

Es soll eine vierwertige Semantik für die Timed Linear Temporal Logic entwickelt sowie ein passendes Automatenmodell, welches die Eigenschaften der Semantik wiederspiegelt, angegeben werden. Außerdem soll die Umwandlung der Formeln der neu entwickelten Semantik in das Automatenmodell in die Logik- und Automatenbibliothek RltlConv implementiert werden.
Original languageGerman
QualificationBachelor of Science
Awarding Institution
Supervisors/Advisors
  • Leucker, Martin, Supervisor
  • Tantau, Till, Supervisor
Publication statusPublished - 2016
Externally publishedYes

Cite this