Formal, algorithmic, and testing methods verifying that system specifications have been faithfully implemented.
An interdisciplinary analysis of emergent properties—from Mill, Broad, and Anderson's symmetry breaking to LLM scaling mirages, Nancy Leveson's STAMP/STPA-Sec control theory, and frontier AI security incidents.
A technical survey and architectural taxonomy of AI agent harnesses—tracing their evolution from classical test drivers and RL environments to Agent-Computer Interfaces, isolated sandboxes, and Model Context Protocol buses.
It took me the whole year to develop a software, which implements the cross-discipline manufacturing systems modeling and consistency checking technique I propo...
Dominik Ascher and Georg Hackenberg
Georg Hackenberg and Christian Zehetner
Alican Tüzün and Georg Hackenberg
Georg Hackenberg
Georg Hackenberg, Thomas Stocker, Christoph Richter and Gunther Reinhart
Georg Hackenberg, Christoph Richter and Michael Zäh
