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.

Valentin Goranko
SearchCollections
Map detail
Valentin Goranko13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipValentin GorankoAValentin GorankoResearcherStructural theory of trees. I. Branching and condensations of treesWStructural theory of tr...preprint / 2023Structural theory of trees. II. Completeness and completions of treesWStructural theory of tr...preprint / 2023A Logic for Conditional Local Strategic ReasoningWA Logic for Conditional...preprint / 2021Transformations of normal form games by preplay offers for payments among playersWTransformations of norm...preprint / 2012Non-cooperative games with preplay negotiationsWNon-cooperative games w...preprint / 2013Two-player preplay negotiation games with conditional offersWTwo-player preplay nego...preprint / 2013Tableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledgeWTableau-based decision ...preprint / 2008The temporal logic of coalitional goal assignments in concurrent multi-player gamesWThe temporal logic of c...preprint / 2022Logic-based Specification and Verification of Homogeneous Dynamic Multi-agent SystemsWLogic-based Specificati...preprint / 2020How to Be Both Rich and Happy: Combining Quantitative and Qualitative Strategic Reasoning about Multi-Player Games (Extended Abstract)WHow to Be Both Rich and...preprint / 2013Secure aggregation of distributed information: How a team of agents can safely share secrets in front of a spyWSecure aggregation of d...preprint / 2015Tableau-based decision procedure for the multi-agent epistemic logic with all coalitional operators for common and distributed knowledgeWTableau-based decision ...preprint / 2012
Person12 links

Valentin Goranko

Researcher

PaperStructural theory of trees. I. Branching and condensations of treesAuthorship / preprint / 2023PaperStructural theory of trees. II. Completeness and completions of treesAuthorship / preprint / 2023PaperA Logic for Conditional Local Strategic ReasoningAuthorship / preprint / 2021PaperTransformations of normal form games by preplay offers for payments among playersAuthorship / preprint / 2012PaperNon-cooperative games with preplay negotiationsAuthorship / preprint / 2013PaperTwo-player preplay negotiation games with conditional offersAuthorship / preprint / 2013PaperTableau-based decision procedure for the multi-agent epistemic logic with operators of common and distributed knowledgeAuthorship / preprint / 2008PaperThe temporal logic of coalitional goal assignments in concurrent multi-player gamesAuthorship / preprint / 2022

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)