JOURNAL ARTICLE

Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning

Keywords:
Reinforcement learning Computer science Temporal logic SIGNAL (programming language) Artificial intelligence Theoretical computer science Programming language

Metrics

4
Cited By
3.16
FWCI (Field Weighted Citation Impact)
31
Refs
0.86
Citation Normalized Percentile
Is in top 1%
Is in top 10%

Citation History

Topics

Formal Methods in Verification
Physical Sciences →  Computer Science →  Computational Theory and Mathematics
Reinforcement Learning in Robotics
Physical Sciences →  Computer Science →  Artificial Intelligence
Constraint Satisfaction and Optimization
Physical Sciences →  Computer Science →  Computer Networks and Communications
© 2026 ScienceGate Book Chapters — All rights reserved.