Similar Items: Reasoning about Data Repetitions with Counter Systems
- Reasoning About Bounds in Weighted Transition Systems
- Playing with Repetitions in Data Words Using Energy Games
- Reasoning about Strategies: on the Satisfiability Problem
- Shortest paths in one-counter systems
- Napari-3D-Counter: A manual cell counter for napari
- Reasoning about effects: from lists to cyber-physical agents