In: Sven Koenig; Chad Jenkins; Matthew E. Taylor (Hrsg.). Fortieth AAAI Conference on Artificial Intelligence, Thirty-Eighth Conference on Innovative Applications of Artificial Intelligence, Sixteenth Symposium on Educational Advances in Artificial Intelligence, AAAI 2026, Singapore, January 20-27, 2026. AAAI Conference on Artificial Intelligence (AAAI), Pages 41159-41161, AAAI Press, 2026.
Timo Eckmann; Matthias Urban; Jan-Micha Bodensohn; Carsten Binnig
In: 29. Workshop zu Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 17-18, 2026.
In: IEEE Computer Society Annual Symposium on VLSI (ISVLSI). IEEE Computer Society Annual Symposium on VLSI (ISVLSI-2026), July 7-10, Kolkata, India, 2026.