The following pages link to (Q5692280):
Displayed 6 items.
- Abstraction in Fixpoint Logic (Q5277894) (← links)
- Verification of General Markov Decision Processes by Approximate Similarity Relations and Policy Refinement (Q5348126) (← links)
- From interface automata to hypercontracts (Q6113991) (← links)
- A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence (Q6120696) (← links)
- Robust stutter bisimulation for abstraction and controller synthesis with disturbance (Q6152513) (← links)
- Goodbye ioco (Q6163899) (← links)