Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Gutierrez, Julian
842  Ergebnisse:
OpenAccess-Volltexte X
englisch X
?
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

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...
 
?
3

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..
 
?
4

Core Type Theory:

van Dijk, Emma ; Ripley, David ; Gutierrez, Julian
Bulletin of the Section of Logic;2.  , 2023
Link: http://hdl.handle.net/11..
 
?
5

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...
 
?
6

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...
 
?
7

Giving Instructions in Linear Temporal Logic:

Gutierrez, Julian ; Kraus, Sarit ; Perelli, Giuseppe.
doi:10.4230/LIPIcs.TIME.2022.15.  , 2022
Link: https://doi.org/10.4230/..
 
?
8

Open Source Automated Flow Analysis Instrument for Detectin..:

Gutiérrez, Julián ; Mochen, Juan Pablo ; Eggly, Gabriel..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9058723/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
9

Mean-payoff games with ω-regular specifications:

Gutierrez, Julian ; Steeples, Thomas ; Wooldridge, Michael J
gbv-ppn:1798315416.  , 2022
Link: http://hdl.handle.net/10..
 
?
10

Partial order games:

Zahoransky, Valeria ; Gutierrez, Julian ; Harrenstein, Paul.
gbv-ppn:1798278162.  , 2022
Link: http://hdl.handle.net/10..
 
?
11

Partial order games:

Zahoransky, Valeria ; Gutierrez, Julian ; Harrenstein, Paul.
Zahoransky , V , Gutierrez , J , Harrenstein , P & Wooldridge , M 2022 , ' Partial order games ' , Games , vol. 13 , no. 1 , 2 . https://doi.org/10.3390/g13010002.  , 2022
Link: https://research.monash...
 
?
12

Rational verification:game-theoretic verification of multi-..:

Abate, Alessandro ; Gutierrez, Julian ; Hammond, Lewis...
Abate , A , Gutierrez , J , Hammond , L , Harrenstein , P , Kwiatkowska , M , Najib , M , Perelli , G , Steeples , T & Wooldridge , M 2021 , ' Rational verification : game-theoretic verification of multi-agent systems ' , Applied Intelligence , vol. 51 , no. 9 , pp. 6569-6584 . https://doi.org/10.1007/s10489-021-02658-y.  , 2021
Link: https://research.monash...
 
?
13

Rational verification for probabilistic systems:

Gutierrez, Julian ; Hammond, Lewis ; W. Lin, Anthony..
Gutierrez , J , Hammond , L , W. Lin , A , Najib Azca , M & Wooldridge , M 2021 , Rational verification for probabilistic systems . in M Bienvenu , G Lakemeyer & E Erdem (eds) , Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning . Proceedings of the 18th International Conference on Principles of Knowledge Representation and Reasoning , Association for the Advancement of Artificial Intelligence (AAAI) , Marina del Rey CA USA , pp. 312-322 , International Conference on the Principles of Knowledge Representation and Reasoning 2021 , 3/11/21 . https://doi.org/10.24963/kr.2021/30.  , 2021
Link: https://research.monash...
 
?
14

Vega: A Computer Vision Processing Enhancement Framework wi..:

Gutierrez, Julian ; Dong, Shi ; Kaeli, David
Proceedings of the 53rd Hawaii International Conference on System Sciences.  , 2020
Link: http://hdl.handle.net/10..
 
?
15

Automated temporal equilibrium analysis: Verification and s..:

Gutierrez, Julian ; Najib, Muhammad ; Perelli, Giuseppe.
info:eu-repo/semantics/altIdentifier/wos/WOS:000567871600006.  , 2020
Link: http://hdl.handle.net/11..
 
1-15