Structured Doctoral Program on Automated Reasoning

View Statistics Email Alert RSS Feed

Primary Data

Project Acronym Projekt Kurzbezeichnung
DK - AR
 
Project Title (de) Projekttitel (de)
Structured Doctoral Program on Automated Reasoning
 
Project Title (en) Projekttitel (en)
Structured Doctoral Program on Automated Reasoning
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 

Grants

Funder/Funding Agency Fördergeber
FWF - Österr. Wissenschaftsfonds
Grant number Förderkennnummer
DOC1345324
 

Publications

Results 1-2 of 2 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Clement, Mihaela-Larisa ; Farsang, Monika ; Stanusoiu, Mihai-Teodor ; Rus, Daniela ; Hasani, Ramin ; Grosu, Radu ; Bartocci, Ezio Evaluating Domain-Shift Generalization of Liquid Neural Networks in Autonomous DrivingInproceedings Konferenzbeitrag 28-Feb-2026
2Isychev, Anastasia ; Wüstholz, Valentin ; Christakis, Maria Lazy Testing of Machine-Learning ModelsInproceedings Konferenzbeitrag 2025