Similar Items: Reasoning about effects: from lists to cyber-physical agents
- Reasoning about Strategies: on the Satisfiability Problem
- Reasoning about Data Repetitions with Counter Systems
- Reasoning About Bounds in Weighted Transition Systems
- A Logic for Monitoring Dynamic Networks of Spatially-distributed Cyber-Physical Systems
- A Generic Framework for Reasoning about Dynamic Networks of Infinite-State Processes
- Real-Time Verification for Distributed Cyber-Physical Systems