The following pages link to (Q5692280):
Displaying 7 items.
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
- Information-flow interfaces (Q6535550) (← links)
- Complete multiparty session type projection with automata (Q6535693) (← links)
- Relating alternating relations for conformance and refinement (Q6536353) (← links)
- Refinements for open automata (Q6550592) (← links)