Cover Image

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Hashemi, Navid, Hoxha, Bardh, Prokhorov, Danil, Fainekos, Georgios, Deshmukh, Jyotirmoy
Format:	Preprint
Published:	2024
Subjects:	Systems and Control Artificial Intelligence Machine Learning Robotics
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)

Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)

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

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

Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
by: Parwana, Hardik, et al.
Published: (2023)

Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)

Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)

Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)

Neural Configuration Distance Function for Continuum Robot Control
by: Long, Kehan, et al.
Published: (2024)

GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
by: Majd, Keyvan, et al.
Published: (2025)

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

SMT-Based Dynamic Multi-Robot Task Allocation
by: Tuck, Victoria Marie, et al.
Published: (2024)

PerceMon: Online Monitoring for Perception Systems
by: Balakrishnan, Anand, et al.
Published: (2021)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
by: Hoxha, Bardh, et al.
Published: (2026)

Querying Perception Streams with Spatial Regular Expressions
by: Anderson, Jacob, et al.
Published: (2024)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
by: Tuck, Victoria Marie, 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)

Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)

Risk-aware MPPI for Stochastic Hybrid Systems
by: Parwana, Hardik, et al.
Published: (2024)

BR-MPPI: Barrier Rate guided MPPI for Enforcing Multiple Inequality Constraints with Learned Signed Distance Field
by: Parwana, Hardik, et al.
Published: (2025)

Probabilistic Satisfaction of Temporal Logic Constraints in Reinforcement Learning via Adaptive Policy-Switching
by: Lin, Xiaoshan, et al.
Published: (2024)

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

From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
by: Miao, Yan, et al.
Published: (2024)

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

Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2026)

Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks
by: Liu, Ruijia, et al.
Published: (2025)

Adaptive MPC-based quadrupedal robot control under periodic disturbances
by: Pestova, Elizaveta, et al.
Published: (2025)

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

Generative Predictive Control: Flow Matching Policies for Dynamic and Difficult-to-Demonstrate Tasks
by: Kurtz, Vince, et al.
Published: (2025)

Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
by: Ren, Wei, et al.
Published: (2024)

ReasonSTL: Bridging Natural Language and Signal Temporal Logic via Tool-Augmented Process-Rewarded Learning
by: Ye, Bowen, et al.
Published: (2026)

Task and Domain Adaptive Reinforcement Learning for Robot Control
by: Liu, Yu Tang, et al.
Published: (2024)

Scaling Verification Can Be More Effective than Scaling Policy Learning for Vision-Language-Action Alignment
by: Kwok, Jacky, et al.
Published: (2026)

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

Dropout MPC: An Ensemble Neural MPC Approach for Systems with Learned Dynamics
by: Syntakas, Spyridon, et al.
Published: (2024)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
by: Dang, Thao, et al.
Published: (2024)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
by: Jiang, Frank J., et al.
Published: (2024)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
by: Ye, Bowen, et al.
Published: (2025)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
by: Sharpless, William, et al.
Published: (2026)