Hashemi, Navid, Williams, Samuel, Hoxha, Bardh, Prokhorov, Danil, Fainekos, Georgios, and Deshmukh, Jyotirmoy. LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. Retrieved from https://par.nsf.gov/biblio/10575954. IFAC-PapersOnLine 58.11 Web. doi:10.1016/j.ifacol.2024.07.445.

Hashemi, Navid, Williams, Samuel, Hoxha, Bardh, Prokhorov, Danil, Fainekos, Georgios, & Deshmukh, Jyotirmoy. LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers. IFAC-PapersOnLine, 58 (11). Retrieved from https://par.nsf.gov/biblio/10575954. https://doi.org/10.1016/j.ifacol.2024.07.445

Hashemi, Navid, Williams, Samuel, Hoxha, Bardh, Prokhorov, Danil, Fainekos, Georgios, and Deshmukh, Jyotirmoy. "LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers". IFAC-PapersOnLine 58 (11). Country unknown/Code not available: IFAC. https://doi.org/10.1016/j.ifacol.2024.07.445. https://par.nsf.gov/biblio/10575954.

@article{osti_10575954,
place = {Country unknown/Code not available}, title = {LB4TL: A Smooth Semantics for Temporal Logic to Train Neural Feedback Controllers}, url = {https://par.nsf.gov/biblio/10575954}, DOI = {10.1016/j.ifacol.2024.07.445}, abstractNote = {}, journal = {IFAC-PapersOnLine}, volume = {58}, number = {11}, publisher = {IFAC}, author = {Hashemi, Navid and Williams, Samuel and Hoxha, Bardh and Prokhorov, Danil and Fainekos, Georgios and Deshmukh, Jyotirmoy}, }