Pages that link to "Item:Q5431331"
From MaRDI portal
The following pages link to Mathematical Foundations of Computer Science 2003 (Q5431331):
Displaying 11 items.
- Runtime verification using the temporal description logic \(\mathcal{ALC}\)-LTL revisited (Q472810) (← links)
- On regular temporal logics with past (Q977176) (← links)
- Tool support for learning Büchi automata and linear temporal logic (Q1019031) (← links)
- Verifying the LTL to Büchi automata translation via very weak alternating automata (Q1791171) (← links)
- Transformation from PLTL to automata via NFGs (Q2253959) (← links)
- An Automata-Theoretic Approach to Infinite-State Systems (Q3587257) (← links)
- (Q5376664) (← links)
- GOAL Extended: Towards a Research Tool for Omega Automata and Temporal Logic (Q5458337) (← links)
- From linear temporal logics to Büchi automata: the early and simple principle (Q6041188) (← links)
- Generalizing Non-punctuality for Timed Temporal Logic with Freeze Quantifiers (Q6488465) (← links)
- From non-punctuality to non-adjacency: a quest for decidability of timed temporal logics with quantifiers (Q6610381) (← links)