Similar Items: The Church Problem for Countable Ordinals
- Cores of Countably Categorical Structures
- The Church Synthesis Problem with Parameters
- Step-Indexed Relational Reasoning for Countable Nondeterminism
- The Church Synthesis Problem over Continuous Time
- Strategy Complexity of Point Payoff, Mean Payoff and Total Payoff Objectives in Countable MDPs
- Uplift Model Evaluation with Ordinal Dominance Graphs