Pages that link to "Item:Q906254"
From MaRDI portal
The following pages link to Minimization of probabilistic models of programs (Q906254):
Displaying 4 items.
- Finite-Horizon Bisimulation Minimisation for Probabilistic Systems (Q2814625) (← links)
- Tradeoffs in the inductive inference of nearly minimal size programs (Q3312211) (← links)
- A theory of reduced and minimal procedural dependencies (Q5375401) (← links)
- Minimisation of models satisfying CTL formulas (Q6487557) (← links)