A
Aralex
Aachen research explorer
Sign in
Menu
Papers
Authors
Topics
Journals
Patents
Institutions
Departments
Sign in
Papers
Authors
Topics
Journals
Patents
Organizations
Institutions
Departments
Papers matching “temporal logic”
2
Sort:
Relevance
Cited
Newest
Oldest
Fwci
Patents
⇩ CSV
Not finding it?
Sign in
to also search OpenAlex live.
Probabilistic hyperlogics: extensions and efficient model checking
2026
RWTH Publications (RWTH Aachen)
dissertation
Computer Science
Formal Methods in Verification
Open access
Carolina Gerlach
0
citations
Konzeption einer algorithmischen Einbindung neuer Regellogiken in die Funktionsbereiche von Streckenbeeinflussungsanlagen
2025
RWTH Publications (RWTH Aachen)
dissertation
Engineering
Traffic control and management
Open access
Jessica Hegewald
1
citations
2 results