BOOK-CHAPTER

Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning

Nathaniel HamiltonPreston K. RobinetteTaylor T. Johnson

Year: 2022 Lecture notes in computer science Pages: 190-206   Publisher: Springer Science+Business Media
Keywords:
Computer science Reinforcement learning Task (project management) Function (biology) Artificial intelligence Event (particle physics) SIGNAL (programming language) Machine learning Programming language

Metrics

11
Cited By
7.61
FWCI (Field Weighted Citation Impact)
20
Refs
0.98
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
Software Engineering Research
Physical Sciences →  Computer Science →  Information Systems
Model-Driven Software Engineering Techniques
Physical Sciences →  Computer Science →  Software
© 2026 ScienceGate Book Chapters — All rights reserved.