The following pages link to From Church and Prior to PSL (Q3512439):
Displaying 9 items.
- Linear temporal logic symbolic model checking (Q465680) (← links)
- Almost event-rate independent monitoring (Q2008287) (← links)
- A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- First-order rewritability of ontology-mediated queries in linear temporal logic (Q2238711) (← links)
- Transfer of Model Checking to Industrial Practice (Q3176381) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- On the Hybrid Extension of CTL and CTL + (Q3182944) (← links)
- First-Order Rewritability and Complexity of Two-Dimensional Temporal Ontology-Mediated Queries (Q5870513) (← links)
- Regular decision processes (Q6566638) (← links)
