The following pages link to Francesco Belardinelli (Q785240):
Displaying 27 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)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- Algebraic aspects of cut elimination (Q1770974) (← links)
- Counterpart semantics at work: independence and incompleteness results in quantified modal logic (Q2094163) (← links)
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol (Q2225593) (← links)
- Strategic reasoning with a bounded number of resources: the quest for tractability (Q2238736) (← links)
- A Three-Value Abstraction Technique for the Verification of Epistemic Properties in Multi-agent Systems (Q2835866) (← links)
- Verification of Agent-Based Artifact Systems (Q2925412) (← links)
- First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3100161) (← links)
- (Q3117554) (← links)
- Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness Results (Q3143566) (← links)
- A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems (Q3602954) (← links)
- First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment (Q3638280) (← links)
- Abstraction-Based Verification of Infinite-State Reactive Modules. (Q4576204) (← links)
- (Q4994888) (← links)
- (Q4999204) (← links)
- Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement Learning. (Q4999220) (← links)
- (Q4999260) (← links)
- (Q5016796) (← links)
- (Q5016798) (← links)
- (Q5018502) (← links)
- Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications (Q5076330) (← links)
- A Hennessy-Milner Theorem for ATL with Imperfect Information (Q5145630) (← links)
- (Q5282957) (← links)
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information (Q6098854) (← links)
