Pages that link to "Item:Q3063969"

The following pages link to A Stochastic Interpretation of Propositional Dynamic Logic: Expressivity (Q3063969):

Displaying 3 items.

• An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems (Q899110) (← links)
• Coalgebraic logic for stochastic right coalgebras (Q1023291) (← links)
• Hennessy-Milner results for probabilistic PDL (Q2133481) (← links)