Similar Items: Modeling and Verification of Infinite Systems with Resources
- Model Checking Synchronized Products of Infinite Transition Systems
- Reinforcement Learning for Infinite-Dimensional Systems
- Verification of Flat FIFO Systems
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- The Complexity of Infinite Computations In Models of Set Theory
- On Sessions and Infinite Data