My first-author paper Training Agents to Satisfy Timed and Untimed Signal Temporal Logic Specifications with Reinforcement Learning was published at the 2022 International Conference on Software Engineering and Formal Methods (SEFM).

Link to paper.

Thank you Preston and Taylor for your support getting this work published!