The following pages link to Qiyi Tang (Q2306847):
Displayed 10 items.
- Deciding probabilistic bisimilarity distance one for probabilistic automata (Q2306848) (← links)
- Computing Probabilistic Bisimilarity Distances via Policy Iteration (Q4608674) (← links)
- (Q5009421) (← links)
- (Q5111641) (← links)
- (Q5856412) (← links)
- (Q5875370) (← links)
- Deciding probabilistic bisimilarity distance one for labelled Markov chains (Q6041138) (← links)
- Bridging formal methods and machine learning with model checking and global optimisation (Q6151625) (← links)
- (Q6187068) (← links)
- Semantic flowers for good-for-games and deterministic automata (Q6195342) (← links)