Guillermo Alberto Perez hoofddocent

Publicaties Guillermo Alberto Perez

The Reactive Synthesis Competition (SYNTCOMP) : 2018–2021

Bron
International journal on software tools for technology transfer - ISSN 1433-2779- (2024) p. 1-17
Auteur(s)
    Swen Jacobs, Guillermo Alberto Pérez, Remco Abraham, Véronique Bruyère, Michaël Cadilhac, Maximilien Colange, Charly Delfosse, Tom van Dijk, Alexandre Duret-Lutz, Peter Faymonville, Bernd Finkbeiner, Ayrat Khalimov, Felix Klein, Michael Luttenberger, Klara Meyer, Thibaud Michaud, Adrien Pommellet, Florian Renkin, Philipp Schlehuber-Caissier, Mouhammad Sakr, Salomon Sickert, Gaëtan Staquet, Clément Tamines, Leander Tentrup, Adam Walker

Integer programming with GCD constraints

Bron
Proceedings of the 2024 ACM-SIAM Symposium on Discrete Algorithms (SODA)- () p. 3605-3658
Auteur(s)

Synthesizing efficiently monitorable formulas in metric temporal logic

Bron
Lecture notes in computer science-14500 (2024) p. 264-288
Auteur(s)

Efficient algorithms for reachability in infinite state space systems

Bron
Antwerp, University of Antwerp, Faculty of Science, Department of Computer Science, 2023,xii, 92 p.
Auteur(s)

Bi-objective lexicographic optimization in Markov decision processes with related objectives

Bron
Lecture notes in computer science- () p. 203-223
Auteur(s)
    Damien Busatto-Gaston, Debraj Chakraborty, Anirban Majumdar, Sayan Mukherjee, Guillermo Alberto Pérez, Jean-François Raskin