Pablo Gamboa

Publication Activity (10 Years)

Years Active: 2019-2021
Publications (10 Years): 2

Top Topics

Search Algorithm

Branch And Bound

Program Synthesis

Top Venues

CLEI Electron. J.

Publications

Fernando Asteasuain, Federico Calonge, Manuel Dubinsky, Pablo Gamboa
Open and Branching Behavioral Synthesis with Scenario Clauses. CLEI Electron. J. 24 (3) (2021)
Fernando Asteasuain, Federico Calonge, Pablo Gamboa
Exploiting Anti-scenarios for the Non Realizability Problem. CACIC (2019)