Guillermo A. Pérez

Navedeno

	Vse	Od leta 2020
Navedbe	944	712
indeks h	19	14
indeks i10	30	20

220

110

165

201220132014201520162017201820192020202120222023202420254 6 9 13 55 45 47 50 79 107 122 205 174 24

Javni dostop

Prikaži vse

35 člankov

0 člankov

na voljo

ni na voljo

Na podlagi zahtev v povezavi s financiranjem

Soavtorji

Jean-François RaskinUniversité Libre de Bruxelles, U.L.B.Preverjeni e-poštni naslov na ulb.ac.be
Nils JansenProfessor of Artificial Intelligence and Formal Methods, Ruhr-University BochumPreverjeni e-poštni naslov na rub.de
Nowe AnnGewoon hoogleraarPreverjeni e-poštni naslov na vub.be
Veronique BruyereUniversity of MonsPreverjeni e-poštni naslov na umons.ac.be
Joost-Pieter KatoenDistinguished Professor of Computer Science, RWTH Aachen University and University of TwentePreverjeni e-poštni naslov na cs.rwth-aachen.de
James WorrellProfessor of Computer Science, Oxford UniversityPreverjeni e-poštni naslov na cs.ox.ac.uk
Jan KřetínskýMasaryk University Brno; Technical University of MunichPreverjeni e-poštni naslov na fi.muni.cz
Stefan KieferProfessor of Computer Science, University of OxfordPreverjeni e-poštni naslov na cs.ox.ac.uk
Laure DaviaudUniversity of East AngliaPreverjeni e-poštni naslov na uea.ac.uk
Marcin JurdzińskiUniversity of Warwick, Department of Computer SciencePreverjeni e-poštni naslov na warwick.ac.uk
Ranko LazicDepartment of Computer Science, University of WarwickPreverjeni e-poštni naslov na warwick.ac.uk
Floris GeertsUniversity of AntwerpPreverjeni e-poštni naslov na uantwerp.be
Krishnendu ChatterjeeProfessor, IST AustriaPreverjeni e-poštni naslov na ist.ac.at
Nathanaël FijalkowCNRS, LaBRI, BordeauxPreverjeni e-poštni naslov na labri.fr
Emmanuel FiliotFNRS - Université Libre de BruxellesPreverjeni e-poštni naslov na ulb.ac.be
Frits W. VaandragerProfessor of Computer Science, Radboud UniversityPreverjeni e-poštni naslov na cs.ru.nl
Daniel NeiderTU Dortmund University and Center for Trustworthy Data Science and SecurityPreverjeni e-poštni naslov na tu-dortmund.de
Thomas BrihayeUMONSPreverjeni e-poštni naslov na umons.ac.be
Gilles GeeraertsAssociate Prof. of Computer Science, Université libre de Bruxelles (ULB)Preverjeni e-poštni naslov na ulb.be
Michael BlondinAssociate professor, Université de SherbrookePreverjeni e-poštni naslov na usherbrooke.ca

Spremljaj

Guillermo A. Pérez

Associate Professor, University of Antwerp

Preverjeni e-poštni naslov na uantwerp.be - Domača stran

Logic and Automata Theory Formal Verification Learning Theory


Naslov Razvrsti po navedbah Razvrsti po letniku Razvrsti po naslovu	Navedeno Navedeno	Leto
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	69	2017
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	56	2017
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	54	2016
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	50	2021
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	47	2020
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	32	2014
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	31	2011
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	28	2024
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	25	2019
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	24	2018
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	22	2020
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	21	2020
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	20	2016
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	19	2017
Optimizing Expectation with Guarantees in POMDPs K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić AAAI, 3725--3732, 2017	18	2017

Sistem trenutno ne more izvesti postopka. Poskusite znova pozneje.

Članki 1–20

Št. navedb na leto

Podvojene navedbe

Združene navedbe

Dodajanje soavtorjevSoavtorji

Spremljaj

Navedeno

Soavtorji