Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications

Ali Tevfik Büyükkoçak; Derya Aksaray

doi:10.1109/lra.2025.3563119

ScienceGate Book Chapters

JOURNAL ARTICLE

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications

Ali Tevfik Büyükkoçak Derya Aksaray

Year: 2025 Journal: IEEE Robotics and Automation Letters Vol: 10 (6)Pages: 5935-5942 Publisher: Institute of Electrical and Electronics Engineers

DOI: 10.1109/lra.2025.3563119

Get Full-Text PDF Get Analytical Report

Keywords:

Mobile robot Computer science SIGNAL (programming language) Temporal logic Relaxation (psychology) Robot Human–computer interaction Artificial intelligence Programming language Psychology Neuroscience

Metrics

Cited By

9.64

FWCI (Field Weighted Citation Impact)

Refs

0.96

Citation Normalized Percentile

Is in top 1%

Is in top 10%

Citation History

Topics

Logic, Reasoning, and Knowledge

Physical Sciences → Computer Science → Artificial Intelligence

Formal Methods in Verification

Physical Sciences → Computer Science → Computational Theory and Mathematics

AI-based Problem Solving and Planning

Physical Sciences → Computer Science → Artificial Intelligence

Resilient Online Planning for Mobile Robots With Minimal Relaxation of Signal Temporal Logic Specifications

Metrics

Citation History

Topics

Related Documents

Motion Planning for Mobile Robots with Temporal Logic Specifications

Temporal Relaxation of Signal Temporal Logic Specifications for Resilient Control Synthesis

Satellite Mission Planning with Signal Temporal Logic Specifications

Hierarchical Routing Algorithm for Industrial Mobile Robots by Signal Temporal Logic Specifications

Temporal Logic Motion Planning for Mobile Robots