Pages that link to "Item:Q639648"

The following pages link to Probabilistic systems coalgebraically: a survey (Q639648):

Displaying 19 items.

• Coalgebras for fuzzy transition systems (Q276401) (← links)
• Identifying all preorders on the subdistribution monad (Q283773) (← links)
• ``Keep definition, change category'' -- a practical approach to state-based system calculi (Q299180) (← links)
• Approximating Markov processes through filtration (Q442296) (← links)
• A general account of coinduction up-to (Q523132) (← links)
• Model independent approach to probabilistic models (Q831149) (← links)
• Behavioural equivalences for coalgebras with unobservable moves (Q890618) (← links)
• Long-term values in Markov decision processes, (co)algebraically (Q1798787) (← links)
• (in)finite trace equivalence of probabilistic transition systems (Q1798789) (← links)
• Probabilistic software product lines (Q2329442) (← links)
• (Q3121518) (← links)
• Termination in Convex Sets of Distributions (Q4558786) (← links)
• (Q5020628) (← links)
• (Q5028446) (← links)
• (Q5094151) (← links)
• (Q5111636) (← links)
• (Q5155671) (← links)
• (Q5214813) (← links)
• Coinduction in Flow: The Later Modality in Fibrations (Q5875348) (← links)