JOURNAL ARTICLE

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

Ali Tevfik BüyükkoçakDerya Aksaray

Year: 2025 Journal:   IEEE Robotics and Automation Letters Vol: 10 (6)Pages: 5935-5942   Publisher: Institute of Electrical and Electronics Engineers
Keywords:
Mobile robot Computer science SIGNAL (programming language) Temporal logic Relaxation (psychology) Robot Human–computer interaction Artificial intelligence Programming language Psychology Neuroscience

Metrics

2
Cited By
9.64
FWCI (Field Weighted Citation Impact)
26
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
© 2026 ScienceGate Book Chapters — All rights reserved.