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

by Nathaniel Hamilton, Preston K. Robinette and Taylor T. Johnson

Reference:

Nathaniel Hamilton, Preston K. Robinette and Taylor T. Johnson, "Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning", In 20th International Conference on Software Engineering and Formal Methods (SEFM'22), Springer, pp. 190–206, 2022.

Bibtex Entry:

@inproceedings{hamilton2022sefm,
  title = {Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning},
  author = {Nathaniel Hamilton and Preston K. Robinette and Taylor T. Johnson},
  year = {2022},
  month = sep,
  booktitle = {20th International Conference on Software Engineering and Formal Methods (SEFM'22)},
  pages = {190--206},
  publisher = {Springer},
  doi = {10.1007/978-3-031-17108-6_12},
  publabel = {C37},
  pubtype = {C},
  dblp = {conf/sefm/HamiltonRJ22},
  pdf = "research/hamilton2022sefm.pdf",
}