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.

Giuseppe Perelli
SearchCollections
Map detail
Giuseppe Perelli11 visible / 11 total nodes / 10 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipGiuseppe PerelliAGiuseppe PerelliResearcherBehavioral QLTLWBehavioral QLTLpreprint / 2021Multi-Player Games with LDL Goals over Finite TracesWMulti-Player Games with...preprint / 2020Reconfigurable Interaction for MAS ModellingWReconfigurable Interact...preprint / 2020On the Remarkable Features of Binding FormsWOn the Remarkable Featu...preprint / 2014On the Complexity of Rational VerificationWOn the Complexity of Ra...preprint / 2022Equilibria for Games with Combined Qualitative and Quantitative ObjectivesWEquilibria for Games wi...preprint / 2020Automated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player GamesWAutomated Temporal Equi...preprint / 2020Reasoning About Strategies: On the Model-Checking ProblemWReasoning About Strateg...preprint / 2012A Decidable Fragment of Strategy LogicWA Decidable Fragment of...preprint / 2012Cycle Detection in Computation Tree LogicWCycle Detection in Comp...preprint / 2016
Person10 links

Giuseppe Perelli

Researcher

PaperBehavioral QLTLAuthorship / preprint / 2021PaperMulti-Player Games with LDL Goals over Finite TracesAuthorship / preprint / 2020PaperReconfigurable Interaction for MAS ModellingAuthorship / preprint / 2020PaperOn the Remarkable Features of Binding FormsAuthorship / preprint / 2014PaperOn the Complexity of Rational VerificationAuthorship / preprint / 2022PaperEquilibria for Games with Combined Qualitative and Quantitative ObjectivesAuthorship / preprint / 2020PaperAutomated Temporal Equilibrium Analysis: Verification and Synthesis of Multi-Player GamesAuthorship / preprint / 2020PaperReasoning About Strategies: On the Model-Checking ProblemAuthorship / preprint / 2012

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)