Imagen de Portada

Optimal Planning for Timed Partial Order Specifications

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Watanabe, Kandai, Fainekos, Georgios, Hoxha, Bardh, Lahijanian, Morteza, Okamoto, Hideki, Sankaranarayanan, Sriram
Formato:	Preprint
Publicado:	2024
Materias:	Robotics Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

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

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

RTAMT -- Runtime Robustness Monitors with Application to CPS and Robotics
por: Yamaguchi, Tomoya, et al.
Publicado: (2025)

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

Learning specifications for reactive synthesis with safety constraints
por: Watanabe, Kandai, et al.
Publicado: (2026)

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

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

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

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

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

Safe Model Predictive Diffusion with Shielding
por: Kim, Taekyung, et al.
Publicado: (2025)

Performance-Guided Refinement for Visual Aerial Navigation using Editable Gaussian Splatting in FalconGym 2.0
por: Miao, Yan, et al.
Publicado: (2025)

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

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

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

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

Autonomous Vehicles Path Planning under Temporal Logic Specifications
por: Dhonthi, Akshay, et al.
Publicado: (2024)

Sound Heuristic Search Value Iteration for Undiscounted POMDPs with Reachability Objectives
por: Ho, Qi Heng, et al.
Publicado: (2024)

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

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

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

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
por: Kapoor, Parv, et al.
Publicado: (2024)

LogSTOP: Temporal Scores over Prediction Sequences for Matching and Retrieval
por: Khare, Avishree, et al.
Publicado: (2025)

Safe and Personalizable Logical Guidance for Trajectory Planning of Autonomous Driving
por: Xu, Yuejiao, et al.
Publicado: (2024)

Beyond Winning Strategies: Admissible and Admissible Winning Strategies for Quantitative Reachability Games
por: Muvvala, Karan, et al.
Publicado: (2024)

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

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

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

IntervalMDP.jl: Accelerated Value Iteration for Interval Markov Decision Processes
por: Mathiesen, Frederik Baymler, et al.
Publicado: (2024)

MRTA-Sim: A Modular Simulator for Multi-Robot Allocation, Planning, and Control in Open-World Environments
por: Tuck, Victoria Marie, et al.
Publicado: (2025)

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

Trace Repair for Temporal Behavior Trees
por: Schirmer, Sebastian, et al.
Publicado: (2025)

ReAct! An Interactive Tool for Hybrid Planning in Robotics
por: Dogmus, Zeynep, et al.
Publicado: (2013)

Human Robot Collaborative Assembly Planning: An Answer Set Programming Approach
por: Rizwan, Momina, et al.
Publicado: (2020)

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

A Formal Framework for Robot Construction Problems: A Hybrid Planning Approach
por: Ahmad, Faseeh, et al.
Publicado: (2019)

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

Formal Modeling and Verification of Publisher-Subscriber Paradigm in ROS 2
por: Choton, Jahid Chowdhury, et al.
Publicado: (2024)

Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance
por: Reimann, Jesse, et al.
Publicado: (2024)

Model-Free Reinforcement Learning for Stochastic Games with Linear Temporal Logic Objectives
por: Bozkurt, Alper Kamil, et al.
Publicado: (2020)