Follow
Guillermo A. Pérez
Guillermo A. Pérez
Assistant Professor, University of Antwerp
Verified email at uantwerp.be - Homepage
Title
Cited by
Cited by
Year
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
522017
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
422016
The first reactive synthesis competition (SYNTCOMP 2014)
S Jacobs, R Bloem, R Brenguier, R Ehlers, T Hell, R Könighofer, ...
STTT 19 (3), 367–390, 2017
40*2017
AbsSynthe: abstract synthesis from succinct safety specifications
R Brenguier, GA Pérez, JF Raskin, O Sankur
Proceedings of the 3rd Workshop on Synthesis, SYNT 2014 157, 100--116, 2014
272014
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
272011
The complexity of reachability in parametric Markov decision processes
S Junges, JP Katoen, GA Pérez, T Winkler
Journal of Computer and System Sciences 119, 183-210, 2021
24*2021
Let’s agree to degree: Comparing graph convolutional networks in the message-passing framework
F Geerts, F Mazowiecki, G Perez
International Conference on Machine Learning, 3640-3649, 2021
212021
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
J Kretinsky, GA Perez, JF Raskin
CONCUR, 2018
212018
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
21*2016
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
182016
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
182012
When are emptiness and containment decidable for probabilistic automata?
L Daviaud, M Jurdziński, R Lazić, F Mazowiecki, GA Pérez, J Worrell
Journal of Computer and System Sciences 119, 78-96, 2021
17*2021
Mean-payoff games with partial observation
P Hunter, A Pauly, GA Pérez, JF Raskin
Theoretical Computer Science 735, 82-110, 2018
16*2018
On Delay and Regret Determinization of Max-Plus Automata
E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin
LICS, 2017
132017
Admissibility in Quantitative Graph Games
R Brenguier, GA Pérez, JF Raskin, O Sankur
36th IARCS Annual Conference FSTTCS, 2016
132016
Adversarial patch camouflage against aerial detection
R den Hollander, A Adhikari, I Tolios, M van Bekkum, A Bal, S Hendriks, ...
Artificial Intelligence and Machine Learning in Defense Applications II …, 2020
122020
The fixed initial credit problem for partial-observation energy games is Ack-complete
GA Pérez
Information processing letters 118, 91-99, 2017
12*2017
Reactive synthesis without regret
P Hunter, GA Pérez, JF Raskin
Acta informatica 54 (1), 3-39, 2017
122017
Compositional algorithms for succinct safety games
R Brenguier, GA Pérez, JF Raskin, O Sankur
arXiv preprint arXiv:1602.01174, 2016
112016
Airtime-based resource allocation modeling for network slicing in IEEE 802.11 RANs
PH Isolani, N Cardona, C Donato, GA Pérez, JM Marquez-Barja, ...
IEEE Communications Letters 24 (5), 1077-1080, 2020
102020
The system can't perform the operation now. Try again later.
Articles 1–20