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
https://portal.mardi4nfdi.de/entity/Q5016798	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/Q4999204	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/Q4999260	2021-07-06	Paper
https://portal.mardi4nfdi.de/entity/Q4994888	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
https://portal.mardi4nfdi.de/entity/Q5282957	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
https://portal.mardi4nfdi.de/entity/Q3117554	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Francesco Belardinelli