Imagen de Portada

Neuro-Symbolic Acceleration of MILP Motion Planning with Temporal Logic and Chance Constraints

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Cai, Junyang, Huang, Weimin, Long, Brendan, Cleaveland, Matthew, Deshmukh, Jyotirmoy V., Lindemann, Lars, Dilkina, Bistra
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
por: Rousseas, Panagiotis, et al.
Publicado: (2026)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
por: Thompson, Andrew F., et al.
Publicado: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
por: Ma, Liqian, et al.
Publicado: (2026)

Output-Feedback Safe Control of Discrete-Time Stochastic Systems with Chance Constraints
por: Zhao, Jianing, et al.
Publicado: (2026)