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.

Julian Gutierrez
SearchCollections
Map detail
Julian Gutierrez13 visible / 13 total nodes / 12 links

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

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipJulian GutierrezAJulian GutierrezResearcherCooperative Concurrent GamesWCooperative Concurrent ...preprint / 2023On 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 / 2020Multi-Player Games with LDL Goals over Finite TracesWMulti-Player Games with...preprint / 2020Logics and Games for True ConcurrencyWLogics and Games for Tr...preprint / 2010The μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted ConnectivityWThe μ-Calculus Alternat...preprint / 2012A random-supply Mean Field Game price modelWA random-supply Mean Fi...preprint / 2022A mean-field game price model with noiseWA mean-field game price...preprint / 2020Multi-Agent Reinforcement Learning with Temporal Logic SpecificationsWMulti-Agent Reinforceme...preprint / 2021The Potential Method For Price-Formation ModelsWThe Potential Method Fo...preprint / 2022A Variational Approach For Price Formation Models In One DimensionWA Variational Approach ...preprint / 2022
Person12 links

Julian Gutierrez

Researcher

PaperCooperative Concurrent GamesAuthorship / preprint / 2023PaperOn 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 / 2020PaperMulti-Player Games with LDL Goals over Finite TracesAuthorship / preprint / 2020PaperLogics and Games for True ConcurrencyAuthorship / preprint / 2010PaperThe μ-Calculus Alternation Hierarchy Collapses over Structures with Restricted ConnectivityAuthorship / preprint / 2012PaperA random-supply Mean Field Game price modelAuthorship / 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)