2 citations
3 papers
cs.PL2026★ 2 cited
Program Analysis for Adaptive Data Analysis
Jiawen Liu, Weihao Qu, Marco Gaboardi +2
Data analyses are usually designed to identify some property of the population from which the data are drawn, generalizing beyond the specific data sample. For this reason, data an…
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…
eess.SY2026
Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
Eleftherios E. Vlahakis, Arash Bahari Kordabad, Lars Lindemann +3
Multi-agent planning under Signal Temporal Logic (STL) is often hindered by collaborative tasks that lead to computational challenges due to the inherent high dimensionality of the…