Pages that link to "Item:Q3522919"
From MaRDI portal
The following pages link to Timed Temporal Logics for Abstracting Transient States (Q3522919):
Displaying 6 items.
- Stochastic temporal logic abstractions: challenges and opportunities (Q1631212) (← links)
- Dealing with zero-time transitions in axiom systems. (Q1854267) (← links)
- Temporal logic and state systems (Q2517767) (← links)
- (Q4411976) (← links)
- (Q4502817) (← links)
- Timed Abstract Dialectical Frameworks: A Simple Translation-Based Approach (Q5145802) (← links)