:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Cai, Junyang, Huang, Weimin, Long, Brendan, Cleaveland, Matthew, Deshmukh, Jyotirmoy V., Lindemann, Lars, Dilkina, Bistra
Format:	Preprint
Published:	2025
Subjects:	Systems and Control
Online Access:	https://arxiv.org/abs/2508.07515
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Distributional MIPLIB: a Multi-Domain Library for Advancing ML-Guided MILP Methods
by: Huang, Weimin, et al.
Published: (2024)

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
by: Cai, Junyang, et al.
Published: (2024)

Multi-task Representation Learning for Mixed Integer Linear Programming
by: Cai, Junyang, et al.
Published: (2024)

Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem
by: Cai, Junyang, et al.
Published: (2024)

Conformal Predictive Programming for Chance Constrained Optimization
by: Zhao, Yiqi, et al.
Published: (2024)

Machine Learning Guided Optimal Transmission Switching to Mitigate Wildfire Ignition Risk
by: Huang, Weimin, et al.
Published: (2025)

Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
by: Rahaman, Kaizer, et al.
Published: (2026)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
by: Hashemi, Navid, et al.
Published: (2024)

Distributionally Robust Control for Chance-Constrained Signal Temporal Logic Specifications
by: Kordabad, Arash Bahari, et al.
Published: (2024)

Efficient Primal Heuristics for Mixed Binary Quadratic Programs Using Suboptimal Rounding Guidance
by: Huang, Weimin, et al.
Published: (2025)

Gala: Global LLM Agents for Text-to-Model Translation
by: Cai, Junyang, et al.
Published: (2025)

ML-Guided Primal Heuristics for Mixed Binary Quadratic Programs
by: Huang, Weimin, et al.
Published: (2026)

Conformal Prediction Regions for Time Series using Linear Complementarity Programming
by: Cleaveland, Matthew, et al.
Published: (2023)

Guiding Neuro-Symbolic Scenario Generation with Spatio-Temporal Logic
by: Bonin, Lorenzo, et al.
Published: (2026)

Multi-Modal Conformal Prediction Regions with Simple Structures by Optimizing Convex Shape Templates
by: Tumu, Renukanandan, et al.
Published: (2023)

ParBalans: Parallel Multi-Armed Bandits-based Adaptive Large Neighborhood Search
by: Yilmaz, Alican, et al.
Published: (2025)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)

Formal Verification and Control with Conformal Prediction
by: Lindemann, Lars, et al.
Published: (2024)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
by: Nawaz, Farhad, et al.
Published: (2024)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)

Signal Temporal Logic Control Synthesis among Uncontrollable Dynamic Agents with Conformal Prediction
by: Yu, Xinyi, et al.
Published: (2023)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
by: Hashemi, Navid, et al.
Published: (2025)

Multi-Agent Temporal Logic Planning via Penalty Functions and Block-Coordinate Optimization
by: Vlahakis, Eleftherios E., et al.
Published: (2026)

Distributed Sequential Receding Horizon Control of Multi-Agent Systems under Recurring Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2023)

A Communication Consistent Approach to Signal Temporal Logic Task Decomposition in Multi-Agent Systems
by: Marchesini, Gregorio, et al.
Published: (2024)

RePrompt: Planning by Automatic Prompt Engineering for Large Language Models Agents
by: Chen, Weizhe, et al.
Published: (2024)

Data-Driven Distributionally Robust Control for Interacting Agents under Logical Constraints
by: Kordabad, Arash Bahari, et al.
Published: (2025)

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies
by: Zhao, Yiqi, et al.
Published: (2025)

ID-PaS+ : Identity-Aware Predict-and-Search for General Mixed-Integer Linear Programs
by: Cai, Junyang, et al.
Published: (2025)

Conformal Data-driven Control of Stochastic Multi-Agent Systems under Collaborative Signal Temporal Logic Specifications
by: Vlahakis, Eleftherios E., et al.
Published: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
by: Vlahakis, Eleftherios E., et al.
Published: (2024)

GenCO: Generating Diverse Designs with Combinatorial Constraints
by: Ferber, Aaron, et al.
Published: (2023)

A MILP-Based Solution to Multi-Agent Motion Planning and Collision Avoidance in Constrained Environments
by: Jaitly, Akshay, et al.
Published: (2025)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
by: Chen, Yu, et al.
Published: (2026)

LSPO: Length-aware Dynamic Sampling for Policy Optimization in LLM Reasoning
by: Chen, Weizhe, et al.
Published: (2025)

MARL-LNS: Cooperative Multi-agent Reinforcement Learning via Large Neighborhoods Search
by: Chen, Weizhe, et al.
Published: (2024)

Iterative Deepening Sampling as Efficient Test-Time Scaling
by: Chen, Weizhe, et al.
Published: (2025)

Why Solving Multi-agent Path Finding with Large Language Model has not Succeeded Yet
by: Chen, Weizhe, et al.
Published: (2024)

Task and Motion Planning of Dynamic Systems using Hyperproperties for Signal Temporal Logics
by: Zhao, Jianing, et al.
Published: (2025)