Similar Items: A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
- Reasoning about Strategies: on the Satisfiability Problem
- Reasoning about Data Repetitions with Counter Systems
- Reasoning About Bounds in Weighted Transition Systems
- Generic Fibrational Induction
- Reasoning about effects: from lists to cyber-physical agents
- Infinite and Bi-infinite Words with Decidable Monadic Theories