Pages that link to "Item:Q532396"
From MaRDI portal
The following pages link to A logical duality for underspecified probabilistic systems (Q532396):
Displaying 4 items.
- A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731) (← links)
- Explicit and implicit indeterminism reasoning about uncertain and contradictory specifications of dynamic systems (Q4352532) (← links)
- Probabilistic extension and logic of complex unstable dynamical systems (Q4374111) (← links)
- Bisimilarity is not Borel (Q5361144) (← links)