Pages that link to "Item:Q5466453"
From MaRDI portal
The following pages link to Automata, Languages and Programming (Q5466453):
Displayed 7 items.
- Robustness of temporal logic specifications for continuous-time signals (Q732015) (← links)
- Approximate simulation relations for hybrid systems (Q939013) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
- Recursively defined metric spaces without contraction (Q2373743) (← links)
- Approximate bisimulation relations for constrained linear systems (Q2467487) (← links)
- Probabilistic Weighted Automata (Q3184677) (← links)