Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning
Nathaniel Hamilton, Preston K. Robinette, Taylor T. Johnson
Topics & Concepts
Computer scienceReinforcement learningTask (project management)Function (biology)Artificial intelligenceEvent (particle physics)SIGNAL (programming language)Machine learningProgramming languageManagementEconomicsEvolutionary biologyBiologyPhysicsQuantum mechanicsFormal Methods in VerificationSoftware Engineering ResearchModel-Driven Software Engineering Techniques