I agree that this site is using cookies. You can find further informations here.
X
Belardinelli, Francesco
182  results:
Search for persons X
?
1

Program Semantics and Verification Technique for AI-Centred..:

, In: Formal Methods; Lecture Notes in Computer Science,
Rajaona, Fortunat ; Boureanu, Ioana ; Malvone, Vadim. - p. 473-491 , 2023
Link: https://doi.org/10.1007/..
 
?
2

An abstraction-refinement framework for verifying strategic..:

Belardinelli, Francesco ; Ferrando, Angelo ; Malvone, Vadim
Artificial Intelligence.  316 (2023)  - p. 103847 , 2023
Link: https://doi.org/10.1016/..
 
?
3

Counterpart Semantics at Work: Independence and Incompleten..:

, In: Thinking and Calculating; Logic, Epistemology, and the Unity of Science,
Belardinelli, Francesco - p. 409-431 , 2022
Link: https://doi.org/10.1007/..
 
?
4

Evolutionary reinforcement learning for sparse rewards:

, In: Proceedings of the Genetic and Evolutionary Computation Conference Companion,
Zhu, Shibei ; Belardinelli, Francesco ; León, Borja González - p. 1508-1512 , 2021
Link: https://dl.acm.org/doi/1..
 
?
5

Aggregating Bipolar Opinions:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
Lauren, Stefan ; Belardinelli, Francesco ; Toni, Francesca - p. 746-754 , 2021
Link: https://dl.acm.org/doi/1..
 
?
6

Bisimulations for verifying strategic abilities with an app..:

Belardinelli, Francesco ; Condurache, Rodica ; Dima, Cătălin..
Information and Computation.  276 (2021)  - p. 104552 , 2021
Link: https://doi.org/10.1016/..
 
?
7

Strategic reasoning with a bounded number of resources: The..:

Belardinelli, Francesco ; Demri, Stéphane
Artificial Intelligence.  300 (2021)  - p. 103557 , 2021
Link: https://doi.org/10.1016/..
 
?
8

An Abstraction-based Method to Check Multi-Agent Deep Reinf..:

, In: Proceedings of the 20th International Conference on Autonomous Agents and MultiAgent Systems,
El Mqirmi, Pierre ; Belardinelli, Francesco ; León, Borja G. - p. 474-482 , 2021
Link: https://dl.acm.org/doi/1..
 
?
9

Verification of multi-agent systems with public actions aga..:

Belardinelli, Francesco ; Lomuscio, Alessio ; Murano, Aniello.
Artificial Intelligence.  285 (2020)  - p. 103302 , 2020
Link: https://doi.org/10.1016/..
 
?
10

Formal verification of debates in argumentation theory:

, In: Proceedings of the 35th Annual ACM Symposium on Applied Computing,
Jha, Ria ; Belardinelli, Francesco ; Toni, Francesca - p. 940-947 , 2020
Link: https://dl.acm.org/doi/1..
 
?
11

A Hennessy-Milner Theorem for ATL with Imperfect Informatio:

, In: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science,
Belardinelli, Francesco ; Dima, Catalin ; Malvone, Vadim. - p. 181-194 , 2020
Link: https://dl.acm.org/doi/1..
 
?
12

Resource-bounded ATL : the Quest for Tractable Fragments:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Demri, Stéphane - p. 206-214 , 2019
Link: https://dl.acm.org/doi/1..
 
?
13

Decidable Verification of Agent-Based Data-Aware Systems:

, In: PRIMA 2019: Principles and Practice of Multi-Agent Systems; Lecture Notes in Computer Science,
Belardinelli, Francesco ; Malvone, Vadim - p. 52-68 , 2019
Link: https://doi.org/10.1007/..
 
?
14

A Social Choice Theoretic Perspective on Database Aggregati..:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Grandi, Umberto - p. 1817-1819 , 2019
Link: https://dl.acm.org/doi/1..
 
?
15

Verifying Strategic Abilities in Multi-agent Systems with P..:

, In: Proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems,
Belardinelli, Francesco ; Boureanu, Ioana ; Dima, Catalin. - p. 1820-1822 , 2019
Link: https://dl.acm.org/doi/1..
 
1-15