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

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

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

Reference:

Nathaniel Hamilton, Preston K. Robinette, 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), vol. , no. , pp. , 2022, sep.

Bibtex Entry:

@INPROCEEDINGS{hamilton2022sefm,
  author={Hamilton, Nathaniel and Preston K. Robinette and Taylor T. Johnson},
  booktitle={20th International Conference on Software Engineering and Formal Methods (SEFM)}, 
  title={Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning}, 
  year={2022},
  month=sep,
  volume={},
  number={},
  pages={},
  doi={},
  pdf="research/hamilton2022sefm.pdf"
}