From the 1 of 15 linked papers with an AI index.
15 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…
A Minimal -- Logic for Risk-Sensitive Abduction
Remo Pareschi
Standard approaches to abductive reasoning can retain multiple candidate explanations, but they do not generally combine explicit compositional cross-hypothesis interaction with an…
From Dependency to Compositionality: A Neurosymbolic Lifting of LLM Outputs via Combinatory Categorial Grammar
Remo Pareschi
Large language models (LLMs) generate fluent text by incrementally predicting the next token from a prefix. Critics in the generative tradition argue that such systems lack genuine…
Analytic Abduction: Causal Decomposition and Governed Commitment for Human--AI Coordination
Remo Pareschi
The paper proposes a formal framework for analytic abductive reasoning that models how latent causal factors are jointly considered and only committed to when governance conditions…
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…
An empirical analysis of vulnerability detection tools for solidity smart contracts
Francesco Salzano, Cosmo Kevin Antenucci, Simone Scalabrino +3
The rapid adoption of blockchain technology highlighted the importance of ensuring the security of smart contracts due to their critical role in automated business logic execution…