Skill Machines: Temporal Logic Skill Composition in Reinforcement Learning.

Geraud Nangue Tasse Devon Jarvis Steven James Benjamin Rosman

Published in: ICLR (2024)

Keyphrases

temporal logic
reinforcement learning
model checking
modal logic
satisfiability problem
reactive systems
verification method
transition systems
computation tree logic
multi agent
belief revision
concurrent systems
linear temporal logic
formal specification language
domain specific
mazurkiewicz traces