Folgen
Guillermo A. Pérez
Guillermo A. Pérez
Associate Professor, University of Antwerp
Bestätigte E-Mail-Adresse bei uantwerp.be - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
692017
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
64*2021
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
562017
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
552016
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
502021
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
472020
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
322014
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
312011
The reactive synthesis competition (SYNTCOMP): 2018–2021
S Jacobs, GA Pérez, R Abraham, V Bruyere, M Cadilhac, M Colange, ...
International journal on software tools for technology transfer 26 (5), 551-567, 2024
282024
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
26*2016
On the Complexity of Value Iteration
N Balaji, S Kiefer, P Novotný, GA Pérez, M Shirmohammadi
Automata, Languages, and Programming, ICALP, 2019
252019
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
24*2021
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
J Kretinsky, GA Perez, JF Raskin
CONCUR, 2018
242018
COOL-MC: A Comprehensive Tool for Reinforcement Learning and Model Checking
GAP Dennis Gross, Nils Jansen, Sebastian Junges
Dependable Software Engineering. Theories, Tools, and Applications: 8th …, 2022
22*2022
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
222020
Adversarial patch camouflage against aerial detection
A Adhikari, R Hollander, I Tolios, M van Bekkum, A Bal, S Hendriks, ...
arXiv preprint arXiv:2008.13671, 2020
212020
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
202016
Mean-payoff games with partial observation
P Hunter, A Pauly, GA Pérez, JF Raskin
Theoretical Computer Science 735, 82-110, 2018
19*2018
Reactive synthesis without regret
P Hunter, GA Pérez, JF Raskin
Acta informatica 54 (1), 3-39, 2017
192017
Optimizing Expectation with Guarantees in POMDPs
K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić
AAAI, 3725--3732, 2017
182017
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20