Pages that link to "Item:Q4568011"
From MaRDI portal
The following pages link to Bisimulation equivalence of differential-algebraic systems (Q4568011):
Displayed 4 items.
- Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications (Q2665348) (← links)
- Abstraction-based control synthesis using partial information (Q2667508) (← links)
- Bisimulations of Probabilistic Boolean Networks (Q5103921) (← links)
- Reduction and Analysis of Boolean Control Networks by Bisimulation (Q5858102) (← links)