Pages that link to "Item:Q2938063"
From MaRDI portal
The following pages link to Bisimulations and Logical Characterizations on Continuous-Time Markov Decision Processes (Q2938063):
Displaying 9 items.
- Lumpability for uncertain continuous-time Markov chains (Q832091) (← links)
- Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. (Q1400292) (← links)
- Trace relations and logical preservation for continuous-time Markov decision processes (Q1675807) (← links)
- Logical characterization of fluid equivalences (Q2323132) (← links)
- Formal reasoning about finite-state discrete-time Markov chains in HOL (Q2434565) (← links)
- Continuous Markovian logic -- from complete axiomatization to the metric space of formulas (Q2915679) (← links)
- Strong representation theorems for bitone sequential decision processes (Q4664049) (← links)
- Bisimulation and Simulation Relations for Markov Chains (Q5262953) (← links)
- CONCUR 2003 - Concurrency Theory (Q5900585) (← links)