Guillermo A. Pérez

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 2

Top Topics

Markov Decision Process

Technical Report

Program Synthesis

Games With Incomplete Information

Top Venues

Publications

Tim Leys, Guillermo A. Pérez
Inform: From Compartmental Models to Stochastic Bounded Counter Machines. CoRR (2024)
Swen Jacobs, Guillermo A. Pérez, Philipp Schlehuber-Caissier
The Temporal Logic Synthesis Format TLSF v1.2. CoRR (2023)