E-LIB Suche - Ergebnisse für: Gutierrez, Julian

1

Characterising and Verifying the Core in Concurrent Multi-P..:

Gutierrez, Julian ; Lin, Anthony W ; Najib, Muhammad..
Is Part Of LIPIcs, Volume 288, 32nd EACSL Annual Conference on Computer Science Logic (CSL 2024). , 2024

Link: https://doi.org/10.4230/..

2

Cooperative Concurrent Games:

Gutierrez, Julian ; Kowara, Szymon ; Kraus, Sarit..
http://arxiv.org/abs/2301.06157. , 2023

Link: http://arxiv.org/abs/230..

3

Principal-Agent Boolean Games:

Hyland, David ; Gutierrez, Julian ; Wooldridge, Michael
http://arxiv.org/abs/2305.10334. , 2023

Link: http://arxiv.org/abs/230..

4

Machine Learning architectures for price formation models w..:

Gomes, Diogo ; Gutierrez, Julian ; Laurière, Mathieu
http://arxiv.org/abs/2305.17618. , 2023

Link: http://arxiv.org/abs/230..

5

A matrix-based approach to parity games:

Aggarwal, Saksham ; Stuckey De La Banda, Alejandro ; Yang, Luke.
Aggarwal , S , Stuckey De La Banda , A , Yang , L & Gutierrez , J 2023 , A matrix-based approach to parity games . in S Sankaranarayanan & N Sharygina (eds) , Tools and Algorithms for the Construction and Analysis of Systems : 29th International Conference, TACAS 2023 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Paris, France, April 22–27, 2023 Proceedings, Part I . Springer , Cham Switzerland , pp. 666–683 , Tools and Algorithms for the Construction and Analysis of Systems 2023 , Paris , France , 22/04/23 . https://doi.org/10.1007/978-3-031-30823-9_34. , 2023

Link: https://research.monash...

6

Characterising and Verifying the Core in Concurrent Multi-P..:

Gutierrez, Julian ; Lin, Anthony W ; Najib, Muhammad..
http://arxiv.org/abs/2311.15883. , 2023

Link: http://arxiv.org/abs/231..

7

k-Prize Weighted Voting Games:

Lee, Wei-Chen ; Hyland, David ; Abate, Alessandro...
http://arxiv.org/abs/2302.13888. , 2023

Link: http://arxiv.org/abs/230..

8

Core Type Theory:

van Dijk, Emma ; Ripley, David ; Gutierrez, Julian
https://czasopisma.uni.lodz.pl/bulletin/article/view/14195/18477. , 2023

Link: https://czasopisma.uni.l..

9

Designing Equilibria in Concurrent Games with Social Welfar..:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
http://arxiv.org/abs/2306.03045. , 2023

Link: http://arxiv.org/abs/230..

10

Core Type Theory:

van Dijk, Emma ; Ripley, David ; Gutierrez, Julian
Bulletin of the Section of Logic;2. , 2023

Link: http://hdl.handle.net/11..

11

Incentive Engineering for Concurrent Games:

Hyland, David ; Gutierrez, Julian ; Wooldridge, Michael
http://arxiv.org/abs/2307.05076. , 2023

Link: http://arxiv.org/abs/230..

12

Giving instructions in Linear Temporal Logic:

Gutierrez, Julian ; Kraus, Sarit ; Perelli, Giuseppe.
Gutierrez , J , Kraus , S , Perelli , G & Wooldridge , M 2022 , Giving instructions in Linear Temporal Logic . in A Artikis , R Posenato & S Tonetta (eds) , 29th International Symposium on Temporal Representation and Reasoning . , 15 , Leibniz International Proceedings in Informatics, LIPIcs , vol. 247 , Schloss Dagstuhl , Saarbrücken/Wadern Germany , International Symposium on Temporal Representation and Reasoning 2022 , Germany , 7/11/22 . https://doi.org/10.4230/LIPIcs.TIME.2022.15. , 2022

Link: https://research.monash...

13

On the Complexity of Rational Verification:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
http://arxiv.org/abs/2207.02637. , 2022

Link: http://arxiv.org/abs/220..

14

Mean-payoff games with ω-regular specifications:

Gutierrez, Julian ; Steeples, Thomas ; Wooldridge, Michael
Gutierrez , J , Steeples , T & Wooldridge , M 2022 , ' Mean-payoff games with ω-regular specifications ' , Games , vol. 13 , no. 1 , 19 . https://doi.org/10.3390/g13010019. , 2022

Link: https://research.monash...

15

Machine Learning architectures for price formation models:

Gomes, Diogo ; Gutiérrez, Julián ; Laurière, Mathieu
http://arxiv.org/abs/2204.03968. , 2022

Link: http://arxiv.org/abs/220..