Pages that link to "Item:Q1667079"
From MaRDI portal
The following pages link to Approximate analyzing of labeled transition systems (Q1667079):
Displaying 4 items.
- Analysis of the structure of attributed transition systems without hidden transitions (Q681892) (← links)
- Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
- An approximation algorithm for box abstraction of transition systems on real state spaces (Q2248056) (← links)
- Hyperfinite Approximations to Labeled Markov Transition Systems (Q3623930) (← links)