Image de couverture de livre

Ternary Logic Encodings of Temporal Behavior Trees with Application to Control Synthesis

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Matheu, Ryan, Baras, John S., Belta, Calin
Format:	Preprint
Publié:	2026
Sujets:	Robotics Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Risk-Constrained Belief-Space Optimization for Safe Control under Latent Uncertainty
par: Enwerem, Clinton, et autres
Publié: (2026)

Learning from Imperfect Demonstrations via Temporal Behavior Tree-Guided Trajectory Repair
par: Puranic, Aniruddh G., et autres
Publié: (2026)

Variational Neural Belief Parameterizations for Robust Dexterous Grasping under Multimodal Uncertainty
par: Enwerem, Clinton, et autres
Publié: (2026)

Auxiliary-Variable Adaptive Control Barrier Functions for Safety Critical Systems
par: Liu, Shuo, et autres
Publié: (2023)

Safe Collective Control under Noisy Inputs and Competing Constraints via Non-Smooth Barrier Functions
par: Enwerem, Clinton, et autres
Publié: (2023)

On the Stability and Realizability of Recurrent Polynomial Surrogate Ternary Logic Gate Networks
par: Damera, Sai Sandeep, et autres
Publié: (2026)

Capability Augmentation for Heterogeneous Dynamic Teaming with Temporal Logic Tasks
par: Berlind, Carter, et autres
Publié: (2024)

Feasibility-aware Learning of Robust Temporal Logic Controllers using BarrierNet
par: Liu, Wenliang, et autres
Publié: (2025)

Safety-Critical Planning and Control for Dynamic Obstacle Avoidance Using Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2024)

Feasibility-Guaranteed Safety-Critical Control with Applications to Heterogeneous Platoons
par: Liu, Shuo, et autres
Publié: (2023)

Zonotope-based Symbolic Controller Synthesis for Linear Temporal Logic Specifications
par: Ren, Wei, et autres
Publié: (2024)

Safety-Aware Reinforcement Learning for Control via Risk-Sensitive Action-Value Iteration and Quantile Regression
par: Enwerem, Clinton, et autres
Publié: (2025)

Safety-Critical Control with Guaranteed Lipschitz Continuity via Filtered Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2025)

Sampling-Aware Control Barrier Functions for Safety-Critical and Finite-Time Constrained Control
par: Liu, Shuo, et autres
Publié: (2025)

Reactive Temporal Logic-based Planning and Control for Interactive Robotic Tasks
par: Nawaz, Farhad, et autres
Publié: (2024)

Auxiliary-Variable Adaptive Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2025)

Feasibility-aware Hybrid Control for Motion Planning under Signal Temporal Logics
par: Rousseas, Panagiotis, et autres
Publié: (2026)

Counter-example guided Imitation Learning of Feedback Controllers from Temporal Logic Specifications
par: Dang, Thao, et autres
Publié: (2024)

Safe and Optimal Learning from Preferences via Weighted Temporal Logic with Applications in Robotics and Formula 1
par: Karagulle, Ruya, et autres
Publié: (2025)

Control Barrier Functions via Minkowski Operations for Safe Navigation among Polytopic Sets
par: Chen, Yi-Hsuan, et autres
Publié: (2025)

Guaranteed Completion of Complex Tasks via Temporal Logic Trees and Hamilton-Jacobi Reachability
par: Jiang, Frank J., et autres
Publié: (2024)

Robust Stochastic Shortest-Path Planning via Risk-Sensitive Incremental Sampling
par: Enwerem, Clinton, et autres
Publié: (2024)

Signal Temporal Logic Motion Planning via Graphs of Convex Sets
par: Chen, Yu, et autres
Publié: (2026)

Ensuring Safety at Intelligent Intersections: Temporal Logic Meets Reachability Analysis
par: Arfvidsson, Kaj Munhoz, et autres
Publié: (2024)

Uncertainty Quantification for Recursive Estimation in Adaptive Safety-Critical Control
par: Cohen, Max H., et autres
Publié: (2023)

Motion Planning with Metric Temporal Logic Using Reachability Analysis and Hybrid Zonotopes
par: Thompson, Andrew F., et autres
Publié: (2026)

Feedback Motion Planning for Stochastic Nonlinear Systems with Signal Temporal Logic Specifications
par: Ma, Liqian, et autres
Publié: (2026)

Accelerated Learning with Linear Temporal Logic using Differentiable Simulation
par: Bozkurt, Alper Kamil, et autres
Publié: (2025)

Safety Verification and Navigation for Autonomous Vehicles based on Signal Temporal Logic Constraints
par: Parameshwaran, Aditya, et autres
Publié: (2024)

SAGAS: Semantic-Aware Graph-Assisted Stitching for Offline Temporal Logic Planning
par: Liu, Ruijia, et autres
Publié: (2025)

STLGame: Signal Temporal Logic Games in Adversarial Multi-Agent Systems
par: Yang, Shuo, et autres
Publié: (2024)

Efficient Coordination and Synchronization of Multi-Robot Systems Under Recurring Linear Temporal Logic
par: Peron, Davide, et autres
Publié: (2025)

Bridging Perception and Planning: Towards End-to-End Planning for Signal Temporal Logic Tasks
par: Ye, Bowen, et autres
Publié: (2025)

Trajectory Planning with Signal Temporal Logic Costs using Deterministic Path Integral Optimization
par: Halder, Patrick, et autres
Publié: (2025)

RRT* Based Optimal Trajectory Generation with Linear Temporal Logic Specifications under Kinodynamic Constraints
par: Gautam, Saksham, et autres
Publié: (2024)

Event-Triggered Adaptive Taylor-Lagrange Control for Safety-Critical Systems
par: Liu, Shuo, et autres
Publié: (2026)

Bellman Value Decomposition for Task Logic in Safe Optimal Control
par: Sharpless, William, et autres
Publié: (2026)

Fuzzy Logic Controller Design for Mobile Robot Outdoor Navigation
par: Wondosen, Assefinew, et autres
Publié: (2024)

Koopman-Based Linear MPC for Safe Control using Control Barrier Functions
par: Liu, Shuo, et autres
Publié: (2026)

A New Type of Axis-Angle Attitude Control Law for Rotational Systems: Synthesis, Analysis, and Experiments
par: Gonçalves, Francisco M. F. R., et autres
Publié: (2025)