6 papers
Sensor-Driven Mission Synthesis for UAV/UGV Swarms: A TB-CSPN Coordination Architecture with Hardware-Enforced Safety
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a coordination architecture for heterogeneous UAV/UGV swarms that synthesises mission actions from uncertain, multi-modal sensor evidence while preserving hardw…
Hardware-Enforced Semantic Coordination for Safety-Critical Real-Time Autonomous Systems
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
Recent advances in agentic AI are producing increasingly complex autonomous systems that integrate large language models, world models, optimization engines, specialized neural arc…
Learning to Code with Context: A Study-Based Approach
Uwe M. Borghoff, Mark Minas, Jannis Schopp
The rapid emergence of generative AI tools is transforming the way software is developed. Consequently, software engineering education must adapt to ensure that students not only l…
Deriving Equivalent Symbol-Based Decision Models from Feedforward Neural Networks
Sebastian Seidel, Uwe M. Borghoff
Artificial intelligence (AI) has emerged as a transformative force across industries, driven by advances in deep learning and natural language processing, and fueled by large-scale…
Human-Artificial Interaction in the Age of Agentic AI: A System-Theoretical Approach
Uwe M. Borghoff, Paolo Bottoni, Remo Pareschi
This paper presents a novel perspective on human-computer interaction (HCI), framing it as a dynamic interplay between human and computational agents within a networked system. Goi…
The Use of Artificial Intelligence in Military Intelligence: An Experimental Investigation of Added Value in the Analysis Process
Christian Nitzl, Achim Cyran, Sascha Krstanovic +1
It is beyond dispute that the potential benefits of artificial intelligence (AI) in military intelligence are considerable. Nevertheless, it remains uncertain precisely how AI can…