Similar Items: Towards the Usage of Window Counting Constraints in the Synthesis of Reactive Systems to Reduce State Space Explosion
- The Explosive Weapons Trauma Care Collective (Extracct): A Roadmap For Reducing Preventable Death Among Civilian Casualties Of Explosive Injury
- Linear usage of state
- Conditional Bisimilarity for Reactive Systems
- Stochastic Window Mean-Payoff Games
- Counting CTL
- On the Existence of Reactive Strategies Resilient to Delay