From the 1 of 2 linked papers with an AI index.
2 papers
cs.DM2026
Learning Unions of Intersecting Affine Modules in One Dimension with Queries
Eva González, Montserrat Hermo, Anthony Lin
The paper presents an algorithm that can exactly learn finite unions of intersecting affine modules in one dimension using equivalence and subset (or membership) queries, with prov…
cs.LO2026
A Correct Algorithm for Identifying Independent Variable Sets in Reactive Systems
Josu Oca, Montserrat Hermo, Alexander Bolotov
Recent work has proposed algorithms for decomposing reactive synthesis specifications into simpler and independent subspecifications. Motivated by the DecomposeContract algorithm i…