Članki z zahtevami za javni dostop - Guillermo A. PérezVeč o tem
Na voljo nekje: 35
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
Zahteve: US National Science Foundation, US Department of Defense, German Research …
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
Zahteve: Austrian Science Fund, Australian Research Council, National Fund for …
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
Zahteve: National Fund for Scientific Research, Belgium, European Commission
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
Zahteve: National Fund for Scientific Research, Belgium, UK Engineering and Physical …
Learning-Based Mean-Payoff Optimization in an Unknown MDP under Omega-Regular Constraints
J Kretinsky, GA Perez, JF Raskin
CONCUR, 2018
Zahteve: National Fund for Scientific Research, Belgium, Research Foundation …
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
Zahteve: Research Foundation (Flanders), European Commission
Mean-payoff games with partial observation
P Hunter, A Pauly, GA Pérez, JF Raskin
Theoretical Computer Science 735, 82-110, 2018
Zahteve: European Commission
Reactive synthesis without regret
P Hunter, GA Pérez, JF Raskin
Acta informatica 54 (1), 3-39, 2017
Zahteve: National Fund for Scientific Research, Belgium, European Commission
Optimizing Expectation with Guarantees in POMDPs
K Chatterjee, P Novotný, GA Pérez, JF Raskin, Đ Žikelić
AAAI, 3725--3732, 2017
Zahteve: Austrian Science Fund, National Fund for Scientific Research, Belgium …
On Delay and Regret Determinization of Max-Plus Automata
E Filiot, I Jecker, N Lhote, GA Pérez, JF Raskin
LICS, 2017
Zahteve: National Fund for Scientific Research, Belgium, European Commission
Distillation of RL policies with formal guarantees via variational abstraction of MDPs
F Delgrange, A Nowe, GA Pérez
Proceedings of the AAAI Conference on Artificial Intelligence 36 (6), 6497-6505, 2022
Zahteve: Research Foundation (Flanders)
The fixed initial credit problem for partial-observation energy games is Ack-complete
GA Pérez
Information processing letters 118, 91-99, 2017
Zahteve: National Fund for Scientific Research, Belgium
Synthesizing efficiently monitorable formulas in metric temporal logic
R Raha, R Roy, N Fijalkow, D Neider, G Peréz
VMCAI, 2024
Zahteve: Research Foundation (Flanders), German Research Foundation
Weak cost register automata are still powerful
S Almagor, M Cadilhac, F Mazowiecki, GA Pérez
International Journal of Foundations of Computer Science 31 (06), 689-709, 2020
Zahteve: European Commission, Agence Nationale de la Recherche
Reduction Techniques for Model Checking and Learning in MDPs
S Bharadwaj, S Le Roux, GA Pérez, U Topcu
IJCAI, 2017
Zahteve: US Department of Defense, National Fund for Scientific Research, Belgium …
Continuous One-Counter Automata
M Blondin, T Leys, F Mazowiecki, P Offtermatt, GA Pérez
36th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2021, Rome …, 2021
Zahteve: Research Foundation (Flanders), Natural Sciences and Engineering Research …
Looking at mean payoff through foggy windows
P Hunter, GA Pérez, JF Raskin
Acta Informatica 55, 627-647, 2018
Zahteve: National Fund for Scientific Research, Belgium, European Commission
Wasserstein Auto-encoded MDPs: Formal Verification of Efficiently Distilled RL Policies with Many-sided Guarantees
F Delgrange, A Nowe, GA Pérez
ICLR, 2023
Zahteve: Research Foundation (Flanders)
Finite-memory near-optimal learning for Markov decision processes with long-run average reward
J Kretinsky, F Michel, L Michel, G Perez
Conference on Uncertainty in Artificial Intelligence, 1149-1158, 2020
Zahteve: Research Foundation (Flanders), German Research Foundation
Partial solvers for generalized parity games
V Bruyère, GA Pérez, JF Raskin, C Tamines
Reachability Problems: 13th International Conference, RP 2019, Brussels …, 2019
Zahteve: European Commission
Podatke o objavi in financiranju samodejno določi računalniški program