Regular Object Types
No abstract available.
Related papers
- Regular Types for Active Objects OOPSLA 1993
- Multiple Long-Run and ømega-Regular Objectives in MDPs TACAS 2026
- Declaration-Free Type Checking POPL 1985
- Omega-Regular Objectives in Model-Free Reinforcement Learning TACAS 2019
- Decoupled Planning for Multiple Omega-Regular Objectives CAV 2026
- Layered and object-based game semantics POPL 2022
- Doomsday Equilibria for Omega-Regular Games VMCAI 2014
- Sound Regular Corecursion in coFJ ECOOP 2020