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

Nathaniel Hamilton; Preston K. Robinette; Taylor T. Johnson

doi:10.1007/978-3-031-17108-6_12

ScienceGate Book Chapters

BOOK-CHAPTER

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

Nathaniel Hamilton Preston K. Robinette Taylor T. Johnson

Year: 2022 Lecture notes in computer science Pages: 190-206 Publisher: Springer Science+Business Media

DOI: 10.1007/978-3-031-17108-6_12

Get Full-Text PDF Get Analytical Report

Keywords:

Computer science Reinforcement learning Task (project management) Function (biology) Artificial intelligence Event (particle physics) SIGNAL (programming language) Machine learning Programming language

Metrics

Cited By

7.61

FWCI (Field Weighted Citation Impact)

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

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

Metrics

Citation History

Topics

Related Documents

Iterative Planner/Controller Design to Satisfy Signal Temporal Logic Specifications

Enforcing temporal logic specifications via reinforcement learning

Reduced variance deep reinforcement learning with temporal logic specifications

Active Learning of Signal Temporal Logic Specifications

Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications