G. Pérez
发表
M. Shirmohammadi,
S. Kiefer,
N. Balaji,
2018
.
J. Raskin,
Mathieu Sassolas,
G. Pérez,
2018
.
J. Raskin,
Jan Křetínský,
G. Pérez,
2019
.
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2021,
J. Comput. Syst. Sci..
Thibaud Michaud,
B. Finkbeiner,
V. Bruyère,
2022,
International Journal on Software Tools for Technology Transfer.
G. Pérez,
2021,
ArXiv.
A. Pauly,
G. Pérez,
P. Hunter,
2017
.
Arka P. Ghosh,
G. Pérez,
Shaull Almagor,
2022,
ArXiv.
J. Raskin,
G. Pérez,
P. Hunter,
2015,
Acta Informatica.
J. Raskin,
G. Pérez,
P. Hunter,
2015,
Acta Informatica.
G. Pérez,
2016
.
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2021,
J. Comput. Syst. Sci..
Sebastian Junges,
Joost-Pieter Katoen,
Guillermo A. Pérez,
2019,
CONCUR.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2017,
AAAI.
Krishnendu Chatterjee,
Petr Novotný,
Dorde Zikelic,
2016,
ArXiv.
Guillermo A. Pérez,
Jean-François Raskin,
Romain Brenguier,
2016,
FSTTCS.
Lorenzo Clemente,
Mickael Randour,
Guillermo A. Pérez,
2015,
LATA.
Guillermo A. Pérez,
Lukas Michel,
Jan Kretínský,
2020,
UAI.
Jan Kretínský,
Guillermo A. Pérez,
Jean-François Raskin,
2018,
CONCUR.
Bernd Finkbeiner,
Jean-François Raskin,
Romain Brenguier,
2019,
ArXiv.
Véronique Bruyère,
Guillermo A. Pérez,
Jean-François Raskin,
2019,
RP.
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ICALP.
On the Complexity of Iterative Tropical Computation with Applications to Markov Decision Processes
pdf
Petr Novotný,
Guillermo A. Pérez,
Stefan Kiefer,
2018,
ArXiv.
D. Chakraborty,
G. Pérez,
Jean-François Raskin,
2023,
AAMAS.
Arka P. Ghosh,
G. Pérez,
Shaull Almagor,
2022,
MFCS.
N. Jansen,
G. Pérez,
T. D. Simão,
2022,
ICAART.
Ufuk Topcu,
Guillermo A. Pérez,
Stéphane Le Roux,
2017,
IJCAI.
Leonid Ryzhyk,
Guillermo A. Pérez,
Jean-François Raskin,
2016,
SYNT.
Leonid Ryzhyk,
Rüdiger Ehlers,
Guillermo A. Pérez,
2015,
International Journal on Software Tools for Technology Transfer.
R. Bloem,
Robert Könighofer,
Nina Narodytska,
2016,
SYNT@CAV.
Michaël Cadilhac,
Guillermo A. Pérez,
Marie van den Bogaard,
2018,
FoSSaCS.
James Worrell,
Guillermo A. Pérez,
Marcin Jurdzinski,
2018,
ICALP.
Guillermo A. Pérez,
Stéphane Le Roux,
G. Pérez,
2017,
FoSSaCS.
Sebastian Junges,
N. Jansen,
G. Pérez,
2022,
SETTA.
J. Katoen,
Sebastian Junges,
G. Pérez,
2020,
J. Comput. Syst. Sci..
Guillermo A. Pérez,
G. Pérez,
2015,
Inf. Process. Lett..
Lisandro Zambenedetti Granville,
Steven Latre,
Johann M. Marquez-Barja,
2020,
IEEE Communications Letters.
The fixed initial credit problem for energy games with partial-observation is Ackermann-complete
pdf
Guillermo A. Pérez,
G. Pérez,
2015,
ArXiv.