Saved in:
| Main Authors: | Tran, Dung, Choi, Sung Woo, Li, Yuntao, Liu, Qing, Okamoto, Hideki, Hoxha, Bardh, Fainekos, Georgios |
|---|---|
| Format: | Recurso digital |
| Language: | |
| Published: |
Zenodo
2025
|
| Online Access: | https://doi.org/10.5281/zenodo.15314530 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026)
by: Kim, Taekyung, et al.
Published: (2026)
Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
by: Hoxha, Bardh, et al.
Published: (2026)
by: Hoxha, Bardh, et al.
Published: (2026)
Querying Perception Streams with Spatial Regular Expressions
by: Anderson, Jacob, et al.
Published: (2024)
by: Anderson, Jacob, et al.
Published: (2024)
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024)
by: Black, Mitchell, et al.
Published: (2024)
Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)
by: Anderson, Jacob, et al.
Published: (2026)
LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
by: Khare, Avishree, et al.
Published: (2025)
by: Khare, Avishree, et al.
Published: (2025)
Safe Control Synthesis for Hybrid Systems through Local Control Barrier Functions
by: Yang, Shuo, et al.
Published: (2023)
by: Yang, Shuo, et al.
Published: (2023)
GPU-Accelerated Barrier-Rate Guided MPPI Control for Tractor-Trailer Systems
by: Majd, Keyvan, et al.
Published: (2025)
by: Majd, Keyvan, et al.
Published: (2025)
From Dashcam Videos to Driving Simulations: Stress Testing Automated Vehicles against Rare Events
by: Miao, Yan, et al.
Published: (2024)
by: Miao, Yan, et al.
Published: (2024)
Model Predictive Path Integral Methods with Reach-Avoid Tasks and Control Barrier Functions
by: Parwana, Hardik, et al.
Published: (2024)
by: Parwana, Hardik, et al.
Published: (2024)
Safe Model Predictive Diffusion with Shielding
by: Kim, Taekyung, et al.
Published: (2025)
by: Kim, Taekyung, et al.
Published: (2025)
Neural Configuration Distance Function for Continuum Robot Control
by: Long, Kehan, et al.
Published: (2024)
by: Long, Kehan, et al.
Published: (2024)
Optimal Planning for Timed Partial Order Specifications
by: Watanabe, Kandai, et al.
Published: (2024)
by: Watanabe, Kandai, et al.
Published: (2024)
Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
by: Miao, Yan, et al.
Published: (2025)
by: Miao, Yan, et al.
Published: (2025)
Risk-aware MPPI for Stochastic Hybrid Systems
by: Parwana, Hardik, et al.
Published: (2024)
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)
by: Parwana, Hardik, et al.
Published: (2025)
Risk-Aware Fixed-Time Stabilization of Stochastic Systems under Measurement Uncertainty
by: Black, Mitchell, et al.
Published: (2024)
by: Black, Mitchell, et al.
Published: (2024)
Feasible Space Monitoring for Multiple Control Barrier Functions with application to Large Scale Indoor Navigation
by: Parwana, Hardik, et al.
Published: (2023)
by: Parwana, Hardik, et al.
Published: (2023)
Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
by: Zhao, Yiqi, et al.
Published: (2023)
by: Zhao, Yiqi, et al.
Published: (2023)
PerceMon: Online Monitoring for Perception Systems
by: Balakrishnan, Anand, et al.
Published: (2021)
by: Balakrishnan, Anand, et al.
Published: (2021)
Reinforcement Learning for Risk Adaptation via Differentiable CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2026)
by: Wang, Xinyi, et al.
Published: (2026)
Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
by: Hashemi, Navid, et al.
Published: (2024)
by: Hashemi, Navid, et al.
Published: (2024)
Distributionally Robust Predictive Runtime Verification under Spatio-Temporal Logic Specifications
by: Zhao, Yiqi, et al.
Published: (2025)
by: Zhao, Yiqi, et al.
Published: (2025)
SMT-Based Dynamic Multi-Robot Task Allocation
by: Tuck, Victoria Marie, et al.
Published: (2024)
by: Tuck, Victoria Marie, et al.
Published: (2024)
Safe Navigation in Uncertain Crowded Environments Using Risk Adaptive CVaR Barrier Functions
by: Wang, Xinyi, et al.
Published: (2025)
by: Wang, Xinyi, et al.
Published: (2025)
MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
by: Tuck, Victoria Marie, et al.
Published: (2025)
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)
by: Zhao, Yiqi, et al.
Published: (2025)
RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
by: Yamaguchi, Tomoya, et al.
Published: (2025)
by: Yamaguchi, Tomoya, et al.
Published: (2025)
FiReFly: Fair Distributed Receding Horizon Planning for Multiple UAVs
by: Fronda, Nicole, et al.
Published: (2025)
by: Fronda, Nicole, et al.
Published: (2025)
Fair-CoPlan: Negotiated Flight Planning with Fair Deconfliction for Urban Air Mobility
by: Fronda, Nicole, et al.
Published: (2025)
by: Fronda, Nicole, et al.
Published: (2025)
Unifying Qualitative and Quantitative Safety Verification of DNN-Controlled Systems
by: Zhi, Dapeng, et al.
Published: (2024)
by: Zhi, Dapeng, et al.
Published: (2024)
Repairing Neural Networks for Safety in Robotic Systems using Predictive Models
by: Majd, Keyvan, et al.
Published: (2024)
by: Majd, Keyvan, et al.
Published: (2024)
Tools at the Frontiers of Quantitative Verification
by: Andriushchenko, Roman, et al.
Published: (2024)
by: Andriushchenko, Roman, et al.
Published: (2024)
Deterministic World Models for Verification of Closed-loop Vision-based Systems
by: Geng, Yuang, et al.
Published: (2025)
by: Geng, Yuang, et al.
Published: (2025)
Raimi's theorem for manifolds with circle symmetry
by: Tran, Dung The
Published: (2025)
by: Tran, Dung The
Published: (2025)
Selling Correlated Information Products
by: Hoxha, Klajdi
Published: (2024)
by: Hoxha, Klajdi
Published: (2024)
Targeted Advertising Platforms: Data Sharing and Customer Poaching
by: Hoxha, Klajdi
Published: (2025)
by: Hoxha, Klajdi
Published: (2025)
What Is Food Sustainability in Cultural Festivals? A Conceptual Primer for Emerging Contexts
by: Trần, Anh Dũng
Published: (2025)
by: Trần, Anh Dũng
Published: (2025)
Quality management of fishery products in Vietnam: Advancing towards integration with the regional countries and the world
by: Dung, Tran Thi
Published: (1997)
by: Dung, Tran Thi
Published: (1997)
The Eclipsing $γ$ Doradus Star V421 Pegasi
by: Lee, Jae Woo
Published: (2025)
by: Lee, Jae Woo
Published: (2025)
Similar Items
-
Policy Library CBF: Finite-Horizon Safety at Runtime via Parallel Rollouts
by: Kim, Taekyung, et al.
Published: (2026) -
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) -
CBFKIT: A Control Barrier Function Toolbox for Robotics Applications
by: Black, Mitchell, et al.
Published: (2024) -
Spatio-Temporal Grounding of Large Language Models from Perception Streams
by: Anderson, Jacob, et al.
Published: (2026)