:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Serbinowska, Serena S., Johnson, Taylor T.
Format:	Preprint
Published:	2022
Subjects:	Robotics
Online Access:	https://arxiv.org/abs/2208.05360
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Formalizing Stateful Behavior Trees
by: Serbinowska, Serena S., et al.
Published: (2024)

Verification of Behavior Trees with Contingency Monitors
by: Serbinowska, Serena S., et al.
Published: (2024)

SVBRD-LLM: Self-Verifying Behavioral Rule Discovery for Autonomous Vehicle Identification
by: Li, Xiangyu, et al.
Published: (2025)

Action Draft and Verify: A Self-Verifying Framework for Vision-Language-Action Model
by: Zhao, Chen, et al.
Published: (2026)

Update-Free On-Policy Steering via Verifiers
by: Attarian, Maria, et al.
Published: (2026)

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

Motion Planning Under Temporal Logic Specifications In Semantically Unknown Environments
by: Taheri, Azizollah, et al.
Published: (2025)

EVE: A Generator-Verifier System for Generative Policies
by: Ali, Yusuf, et al.
Published: (2025)

Exact Smooth Reformulations for Trajectory Optimization Under Signal Temporal Logic Specifications
by: Han, Shaohang, et al.
Published: (2025)

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

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

Cooking Task Planning using LLM and Verified by Graph Network
by: Takebayashi, Ryunosuke, et al.
Published: (2025)

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

Verifiably Following Complex Robot Instructions with Foundation Models
by: Quartey, Benedict, et al.
Published: (2024)

Reinforced Embodied Planning with Verifiable Reward for Real-World Robotic Manipulation
by: Bo, Zitong, et al.
Published: (2025)

Learning a Formally Verified Control Barrier Function in Stochastic Environment
by: Tayal, Manan, et al.
Published: (2024)

Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking
by: Azaiez, Atef, et al.
Published: (2025)

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

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

MAPS$^2$: Multi-Robot Autonomous Motion Planning under Signal Temporal Logic Specifications
by: Sewlia, Mayank, et al.
Published: (2023)

Planning with Linear Temporal Logic Specifications: Handling Quantifiable and Unquantifiable Uncertainty
by: Yu, Pian, et al.
Published: (2025)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

VeriGraph: Scene Graphs for Execution Verifiable Robot Planning
by: Ekpo, Daniel, et al.
Published: (2024)

Risk-Aware Autonomous Driving with Linear Temporal Logic Specifications
by: Qi, Shuhao, et al.
Published: (2024)

Agentic Reward Modeling: Verifying GUI Agent via Online Proactive Interaction
by: Cui, Chaoqun, et al.
Published: (2026)

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

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

Verifiable Obstacle Detection
by: Bansal, Ayoosh, et al.
Published: (2022)

Optimization-based Task and Motion Planning under Signal Temporal Logic Specifications using Logic Network Flow
by: Lin, Xuan, et al.
Published: (2024)

BT-TL-DMPs: A Novel Robot TAMP Framework Combining Behavior Tree, Temporal Logic and Dynamical Movement Primitives
by: Liu, Zezhi, et al.
Published: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
by: Gautam, Saksham, et al.
Published: (2024)

Sample-Efficient Reinforcement Learning with Temporal Logic Objectives: Leveraging the Task Specification to Guide Exploration
by: Kantaros, Yiannis, et al.
Published: (2024)

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

RoVer: Robot Reward Model as Test-Time Verifier for Vision-Language-Action Model
by: Dai, Mingtong, et al.
Published: (2025)

VerifyLLM: LLM-Based Pre-Execution Task Plan Verification for Robots
by: Grigorev, Danil S., et al.
Published: (2025)

DRIVE: Dynamic Rule Inference and Verified Evaluation for Constraint-Aware Autonomous Driving
by: Geng, Longling, et al.
Published: (2025)

Mission-driven Exploration for Accelerated Deep Reinforcement Learning with Temporal Logic Task Specifications
by: Wang, Jun, et al.
Published: (2023)

Decomposition-based Hierarchical Task Allocation and Planning for Multi-Robots under Hierarchical Temporal Logic Specifications
by: Luo, Xusheng, et al.
Published: (2023)

STLCCP: Efficient Convex Optimization-based Framework for Signal Temporal Logic Specifications
by: Takayama, Yoshinari, et al.
Published: (2023)

Verifier-free Test-Time Sampling for Vision Language Action Models
by: Jang, Suhyeok, et al.
Published: (2025)