Name Card

Full name Familienname, Vorname
Mendoza, Daniel
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Mendoza-2024-Translating Natural Language to Temporal Logics with Large L...-vor.pdf.jpgMendoza, Daniel ; Hahn, Christopher ; Trippel, Caroline Translating Natural Language to Temporal Logics with Large Language Models and Model CheckersInproceedings Konferenzbeitrag Oct-2024