Guillermo A. Pérez
Guillermo A. Pérez
Assistant Professor, University of Antwerp
Dirección de correo verificada de uantwerpen.be - Página principal
Título
Citado por
Citado por
Año
A method-based ahead-of-time compiler for android applications
CS Wang, G Perez, YC Chung, WC Hsu, WK Shih, HR Hsu
Proceedings of the 14th international conference on Compilers, architectures …, 2011
242011
The 4th reactive synthesis competition (SYNTCOMP 2017): Benchmarks, participants & results
S Jacobs, N Basset, R Bloem, R Brenguier, M Colange, P Faymonville, ...
arXiv preprint arXiv:1711.11439, 2017
232017
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
International journal on software tools for technology transfer 19 (3), 367-390, 2017
232017
Non-zero sum games for reactive synthesis
R Brenguier, L Clemente, P Hunter, GA Pérez, M Randour, JF Raskin, ...
Language and Automata Theory and Applications, 3-23, 2016
222016
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1407.5961, 2014
212014
The Second Reactive Synthesis Competition (SYNTCOMP 2015)
AW Swen Jacobs, Roderick Bloem, Romain Brenguier, Robert Könighofer ...
Proceedings Fourth Workshop on Synthesis, SYNT 2015, San Francisco, CA, USA …, 2016
18*2016
A hybrid just-in-time compiler for android: comparing JIT types and the result of cooperation
GA Perez, CM Kao, YC Chung, WC Hsu
Proceedings of the 2012 international conference on Compilers, architectures …, 2012
162012
Mean-payoff games with partial observation
P Hunter, A Pauly, GA Pérez, JF Raskin
Theoretical Computer Science 735, 82-110, 2018
14*2018
The 3rd reactive synthesis competition (SYNTCOMP 2016): Benchmarks, participants & results
S Jacobs, R Bloem, R Brenguier, A Khalimov, F Klein, R Könighofer, ...
arXiv preprint arXiv:1609.00507, 2016
142016
Admissibility in Quantitative Graph Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
36th IARCS Annual Conference FSTTCS, 2016
102016
Compositional algorithms for succinct safety games
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1602.01174, 2016
102016
The fixed initial credit problem for partial-observation energy games is Ack-complete
GA Pérez
Information processing letters 118, 91-99, 2017
8*2017
On Delay and Regret Determinization of Max-Plus Automata
E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin
LICS, 2017
72017
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
J Kretinsky, GA Perez, JF Raskin
CONCUR, 2018
62018
When is containment decidable for probabilistic automata?
L Daviaud, M Jurdzinski, R Lazic, F Mazowiecki, GA Perez, J Worrell
ICALP, 2018
62018
Reactive synthesis without regret
P Hunter, GA Pérez, JF Raskin
Acta informatica 54 (1), 3-39, 2017
62017
Looking at mean payoff through foggy windows
P Hunter, GA Pérez, JF Raskin
Acta Informatica 55 (8), 627-647, 2018
52018
Weak Cost Register Automata are Still Powerful
S Almagor, M Cadilhac, F Mazowiecki, GA Pérez
DLT, 2018
52018
Reduction Techniques for Model Checking and Learning in MDPs
S Bharadwaj, S Le Roux, GA Pérez, U Topcu
IJCAI, 2017
52017
On the complexity of reachability in parametric Markov decision processes
T Winkler, S Junges, GA Pérez, JP Katoen
CONCUR, 2019
42019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20