Karagulle, Ruya, Valdez_Calderon, Marco Antonio, and Ozay, Necmiye. 4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback. Retrieved from https://par.nsf.gov/biblio/10618288. IFAC-PapersOnLine 58.30 Web. doi:10.1016/j.ifacol.2025.01.190.

Karagulle, Ruya, Valdez_Calderon, Marco Antonio, & Ozay, Necmiye. 4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback. IFAC-PapersOnLine, 58 (30). Retrieved from https://par.nsf.gov/biblio/10618288. https://doi.org/10.1016/j.ifacol.2025.01.190

Karagulle, Ruya, Valdez_Calderon, Marco Antonio, and Ozay, Necmiye. "4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback". IFAC-PapersOnLine 58 (30). Country unknown/Code not available: IFAC-PapersOnLine. https://doi.org/10.1016/j.ifacol.2025.01.190. https://par.nsf.gov/biblio/10618288.

@article{osti_10618288,
place = {Country unknown/Code not available}, title = {4C: Custom-and-Correct-by-Construction Controller Synthesis using Multi-modal Human Feedback}, url = {https://par.nsf.gov/biblio/10618288}, DOI = {10.1016/j.ifacol.2025.01.190}, abstractNote = {}, journal = {IFAC-PapersOnLine}, volume = {58}, number = {30}, publisher = {IFAC-PapersOnLine}, author = {Karagulle, Ruya and Valdez_Calderon, Marco Antonio and Ozay, Necmiye}, }