The following pages link to Francesco Belardinelli (Q785240):
Displaying 5 items.
- Verification of multi-agent systems with public actions against strategy logic (Q785241) (← links)
- (Q835837) (redirect page) (← links)
- Quantified epistemic logics for reasoning about knowledge in multi-agent systems (Q835839) (← links)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
