:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Ahmad, Ahmad, Kermanshah, Mehdi, Leahy, Kevin, Serlin, Zachary, Siu, Ho Chit, Mann, Makai, Vasile, Cristian-Ioan, Tron, Roberto, Belta, Calin
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	https://arxiv.org/abs/2411.17861
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SPLASH! Sample-efficient Preference-based inverse reinforcement learning for Long-horizon Adversarial tasks from Suboptimal Hierarchical demonstrations
by: Crowley, Peter, et al.
Published: (2025)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
by: Cohen, Max H., et al.
Published: (2023)

RRT$^η$: Sampling-based Motion Planning and Control from STL Specifications using Arithmetic-Geometric Mean Robustness
by: Ahmad, Ahmad, et al.
Published: (2026)

Tell Me What You Want (What You Really, Really Want): Addressing the Expectation Gap for Goal Conveyance from Humans to Robots
by: Leahy, Kevin, et al.
Published: (2024)

Model Predictive Control for Magnetically-Actuated Cellbots
by: Kermanshah, Mehdi, et al.
Published: (2024)

Designing Robust Linear Output Feedback Controller based on CLF-CBF framework via Linear~Programming(LP-CLF-CBF)
by: Bahreinian, Mahroo, et al.
Published: (2024)

Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
by: Bergeron, Taylor, et al.
Published: (2024)

TLINet: Differentiable Neural Network Temporal Logic Inference
by: Li, Danyang, et al.
Published: (2024)

Interpretable Imitation Learning via Generative Adversarial STL Inference and Control
by: Liu, Wenliang, et al.
Published: (2024)

A*-based Temporal Logic Path Planning with User Preferences on Relaxed Task Satisfaction
by: Kamale, Disha, et al.
Published: (2025)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
by: Bozkurt, Alper Kamil, et al.
Published: (2025)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
by: Berlind, Carter, et al.
Published: (2024)

STL-SVPIO: Signal Temporal Logic guided Stein Variational Path Integral Optimization
by: Zheng, Hongrui, et al.
Published: (2026)

Risk-Aware Adaptive Control Barrier Functions for Safe Control of Nonlinear Systems under Stochastic Uncertainty
by: Liu, Shuo, et al.
Published: (2025)

Optimal Control Synthesis with Relaxed Global Temporal Logic Specifications for Homogeneous Multi-robot Teams
by: Kamale, Disha, et al.
Published: (2024)

Distributed Fair Assignment and Rebalancing for Mobility-on-Demand Systems via an Auction-based Method
by: Liang, Kaier, et al.
Published: (2024)

Safe Navigation in Dynamic Environments Using Data-Driven Koopman Operators and Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
by: Enwerem, Clinton, et al.
Published: (2026)

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis
by: Matheu, Ryan, et al.
Published: (2026)

Differentiable SpaTiaL: Symbolic Learning and Reasoning with Geometric Temporal Logic for Manipulation Tasks
by: Luo, Licheng, et al.
Published: (2026)

Emergent Social Structures in Autonomous AI Agent Networks: A Metadata Analysis of 626 Agents on the Pilot Protocol
by: Calin, Teodor-Ioan
Published: (2026)

THIRDEYE: Cue-Aware Monocular Depth Estimation via Brain-Inspired Multi-Stage Fusion
by: Ioan, Calin Teodor
Published: (2025)

Adaptive Prefiltering for High-Dimensional Similarity Search: A Frequency-Aware Approach
by: Calin, Teodor-Ioan
Published: (2025)

Time-aware Motion Planning in Dynamic Environments with Conformal Prediction
by: Liang, Kaier, et al.
Published: (2025)

Inference of Human-derived Specifications of Object Placement via Demonstration
by: Cuellar, Alex, et al.
Published: (2025)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
by: Liu, Shuo, et al.
Published: (2023)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
by: Liu, Shuo, et al.
Published: (2025)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
by: Liu, Shuo, et al.
Published: (2023)

Learning Safety for Obstacle Avoidance via Control Barrier Functions
by: Liu, Shuo, et al.
Published: (2025)

Auxiliary-Variable Adaptive Control Lyapunov Barrier Functions for Spatio-Temporally Constrained Safety-Critical Applications
by: Liu, Shuo, et al.
Published: (2024)

Iterative Convex Optimization with Control Barrier Functions for Obstacle Avoidance among Polytopes
by: Liu, Shuo, et al.
Published: (2026)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
by: Karagulle, Ruya, et al.
Published: (2025)

Control Barrier Function for Linearizable Systems with High Relative Degrees from Signal Temporal Logics: A Reference Governor Approach
by: Liang, Kaier, et al.
Published: (2023)

Fewer Than 1% of Explainable AI Papers Validate Explainability with Humans
by: Suh, Ashley, et al.
Published: (2025)

Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty
by: Enwerem, Clinton, et al.
Published: (2026)

An Iterative Approach for Heterogeneous Multi-Agent Route Planning with Resource Transportation Uncertainty and Temporal Logic Goals
by: Cardona, Gustavo A., et al.
Published: (2025)

Solving Multi-Agent Safe Optimal Control with Distributed Epigraph Form MARL
by: Zhang, Songyuan, et al.
Published: (2025)