The following pages link to Julian Gutierrez (Q345708):
Displaying 37 items.
- Reasoning about equilibria in game-like concurrent systems (Q345709) (← links)
- The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity (Q477204) (← links)
- Partial-order Boolean games: informational independence in a logic-based model of strategic interaction (Q516248) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- Equilibria for games with combined qualitative and quantitative objectives (Q824280) (← links)
- Imperfect information in reactive modules games (Q1641035) (← links)
- A mean field game price model with noise (Q2167465) (← links)
- Automated temporal equilibrium analysis: verification and synthesis of multi-player games (Q2211871) (← links)
- Multi-player games with LDL goals over finite traces (Q2225596) (← links)
- Iterated Boolean games (Q2346405) (← links)
- From model checking to equilibrium checking: reactive modules for rational verification (Q2407463) (← links)
- On the determinacy of concurrent games on event structures with infinite winning sets (Q2453582) (← links)
- Partial order games (Q2669153) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Cooperative concurrent games (Q2680769) (← links)
- A Tool for the Automated Verification of Nash Equilibria in Concurrent Games (Q2787450) (← links)
- A Mathematical Game Semantics of Concurrency and Nondeterminism (Q2787451) (← links)
- Borel Determinacy of Concurrent Games (Q2842130) (← links)
- Timed Concurrent Constraint Programming for Analysing Biological Systems (Q2864201) (← links)
- The Winning Ways of Concurrent Games (Q2986800) (← links)
- Concurrent Logic Games on Partial Orders (Q3003356) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
- Logics and Bisimulation Games for Concurrency, Causality and Conflict (Q3617720) (← links)
- On fixpoint logics and equivalences for processes with restricted nondeterminism (Q4612425) (← links)
- Equilibria of concurrent games on event structures (Q4635631) (← links)
- Imperfect Information in Logic and Concurrent Games (Q4922070) (← links)
- (Q4972730) (← links)
- (Q4986509) (← links)
- (Q5111630) (← links)
- (Q5357709) (← links)
- (Q5875383) (← links)
- A Random-Supply Mean Field Game Price Model (Q5886363) (← links)
- A variational approach for price formation models in one dimension (Q6125167) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Machine learning architectures for price formation models (Q6166250) (← links)
- Incentive Engineering for Concurrent Games (Q6199620) (← links)
- A matrix-based approach to parity games (Q6535384) (← links)
