Francesco Belardinelli

Available identifiers

zbMath Open belardinelli.francescoMaRDI QIDQ785240

List of research outcomes

Publication	Date of Publication	Type
Program semantics and verification technique for AI-centred programs	2023-08-17	Paper
An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information	2023-06-19	Paper
Counterpart semantics at work: independence and incompleteness results in quantified modal logic	2022-10-28	Paper
Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications	2022-05-16	Paper
https://portal.mardi4nfdi.de/entity/Q5018502	2021-12-20	Paper
https://portal.mardi4nfdi.de/entity/Q5016796	2021-12-14	Paper
Relaxing exclusive control in Boolean games	2021-12-14	Paper
Strategic reasoning with a bounded number of resources: the quest for tractability	2021-11-02	Paper
https://portal.mardi4nfdi.de/entity/Q4999260	2021-07-06	Paper
Extended Markov games to learn multiple tasks in multi-agent reinforcement learning	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4999204	2021-07-06	Paper
Reasoning about knowledge and strategies: epistemic strategy logic	2021-06-22	Paper
Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol	2021-02-08	Paper
A Hennessy-Milner theorem for ATL with imperfect information	2021-01-21	Paper
Verification of multi-agent systems with public actions against strategy logic	2020-08-06	Paper
Second-order propositional modal logic: expressiveness and completeness results	2019-03-14	Paper
Abstraction-based verification of infinite-state reactive modules	2018-07-12	Paper
Model checking auctions as artifact systems: decidability via finite abstraction	2017-07-18	Paper
A three-value abstraction technique for the verification of epistemic properties in multi-agent systems	2016-11-30	Paper
Verification of agent-based artifact systems	2014-10-22	Paper
Interactions between knowledge and time in a first-order logic for multi-agent systems: completeness results	2012-12-03	Paper
Model checking temporal-epistemic logic using alternating tree automata	2012-02-28	Paper
First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment	2011-11-22	Paper
Quantified epistemic logics for reasoning about knowledge in multi-agent systems	2009-08-31	Paper
First-Order Linear-Time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment	2009-07-02	Paper
A Complete Quantified Epistemic Logic for Reasoning about Message Passing Systems	2009-02-12	Paper
Algebraic aspects of cut elimination	2005-04-07	Paper

Research outcomes over time

This page was built for person: Francesco Belardinelli