Forschung und Entwicklung in Schlüsseltechnologien – von Mikroelektronik und Sensorsystemen bis hin zu Leistungselektronik, KI und Quantentechnologien.
Automata Learning for Coverage, Heuristics, and Evaluation of Models (ALCHEM)
Verbesserung moderner KI-basierter Testframeworks durch die Integration einer formalen Schicht im Hintergrund mithilfe von automatisch gelernten Modellen.
Unser Newsletter Science & Stories bietet aktuelle Neuigkeiten, Forschungshighlights und spannende Einblicke von Silicon Austria Labs – direkt ins Postfach.