Kompetitive Interaktive Zertifizierung für automatisiertes Schließen

• Antragsteller: Professor Dr. Javier Esparza; Professor Dr. Rupak Majumdar
• Fachliche Zuordnung: Theoretische Informatik
• Förderung: Förderung seit 2026
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 568501586

Keine Zusammenfassung vorhanden

• DFG-Verfahren: Sachbeihilfen