Similar Items: Model Checking Temporal Properties of Recursive Probabilistic Programs
- On the Termination Problem for Probabilistic Higher-Order Recursive Programs
- Using models to model-check recursive schemes
- Model Checking Probabilistic Pushdown Automata
- Complexity of Model Checking Recursion Schemes for Fragments of the Modal Mu-Calculus
- Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
- Model Checking Probabilistic Timed Automata with One or Two Clocks