Similar Items: Reasoning About Bounds in Weighted Transition Systems
- Reasoning about Data Repetitions with Counter Systems
- Reasoning about Strategies: on the Satisfiability Problem
- Lower Bound on Weights of Large Degree Threshold Functions
- Reasoning about effects: from lists to cyber-physical agents
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
- Weighted Pushdown Systems with Indexed Weight Domains