BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Francesco Belardinelli
SearchCollections
Map detail
Francesco Belardinelli18 visible / 18 total nodes / 41 links

Drag to move · Scroll or pinch to zoom · Select a node for details

Related contextCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipCo-authorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipWorks onWorks onWorks onWorks onWorks onWorks onWorks onWorks onAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalTopic signalFrancesco BelardinelliAFrancesco BelardinelliResearcherFlavio CorradiniAFlavio CorradiniResearcherMarco PiangerelliAMarco PiangerelliResearcherMatteo LeonesiAMatteo LeonesiResearcherReasoning about Human-Friendly Strategies in Repeated Keyword AuctionsWReasoning about Human-F...preprint / 2022Model Checking Strategic Abilities in Information-sharing SystemsWModel Checking Strategi...preprint / 2022Program Semantics and a Verification Technique for Knowledge-Based Multi-Agent SystemsWProgram Semantics and a...preprint / 2022A Hennessy-Milner Theorem for ATL with Imperfect InformationWA Hennessy-Milner Theor...preprint / 2020Verification of Agent-Based Artifact SystemsWVerification of Agent-B...preprint / 2013Interactions between Knowledge and Time in a First-Order Logic for Multi-Agent Systems: Completeness ResultsWInteractions between Kn...preprint / 2014Reasoning about Knowledge and Strategies: Epistemic Strategy LogicWReasoning about Knowled...preprint / 2014Cryptography and SecurityTCryptography and Security7258 worksArtificial IntelligenceTArtificial Intelligence22915 worksTatemae: Detecting Alignment Faking via Tool Selection in LLMsWTatemae: Detecting Alig...preprint / 2026Aggregating Bipolar Opinions (With Appendix)WAggregating Bipolar Opi...preprint / 2021Extended Markov Games to Learn Multiple Tasks in Multi-Agent Reinforcement LearningWExtended Markov Games t...preprint / 2020In a Nutshell, the Human Asked for This: Latent Goals for Following Temporal SpecificationsWIn a Nutshell, the Huma...preprint / 2022Behaviour Policy Optimization: Provably Lower Variance Return Estimates for Off-Policy Reinforcement LearningWBehaviour Policy Optimi...preprint / 2026
Person17 links

Francesco Belardinelli

Researcher

PersonFlavio CorradiniCo-authorship / ResearcherPersonMarco PiangerelliCo-authorship / ResearcherPersonMatteo LeonesiCo-authorship / ResearcherPaperReasoning about Human-Friendly Strategies in Repeated Keyword AuctionsAuthorship / preprint / 2022PaperModel Checking Strategic Abilities in Information-sharing SystemsAuthorship / preprint / 2022PaperProgram Semantics and a Verification Technique for Knowledge-Based Multi-Agent SystemsAuthorship / preprint / 2022PaperA Hennessy-Milner Theorem for ATL with Imperfect InformationAuthorship / preprint / 2020PaperVerification of Agent-Based Artifact SystemsAuthorship / preprint / 2013

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)