Similar Items: Model Checking Synchronized Products of Infinite Transition Systems
- Partial Model Checking using Networks of Labelled Transition Systems and Boole an Equation Systems
- Modeling and Verification of Infinite Systems with Resources
- Reinforcement Learning for Infinite-Dimensional Systems
- Infinite and Bi-infinite Words with Decidable Monadic Theories
- Model Checking Vector Addition Systems with one zero-test
- Model Checking the Quantitative mu-Calculus on Linear Hybrid Systems