3 papers
cs.AI2022
Scaling up ML-based Black-box Planning with Partial STRIPS Models
Matias Greco, Álvaro Torralba, Jorge A. Baier +1
A popular approach for sequential decision-making is to perform simulator-based search guided with Machine Learning (ML) methods like policy learning. On the other hand, model-rela…
cs.DB2017
Evaluating navigational RDF queries over the Web
Jorge Baier, Dietrich Daroch, Juan Reutter +1
Semantic Web, and its underlying data format RDF, lend themselves naturally to navigational querying due to their graph-like structure. This is particularly evident when considerin…
cs.LO2016
Finite LTL Synthesis is EXPTIME-complete
Jorge A. Baier, Alberto Camacho, Christian Muise +1
LTL synthesis -- the construction of a function to satisfy a logical specification formulated in Linear Temporal Logic -- is a 2EXPTIME-complete problem with relevant applications…