Institution profile

University of Messina

Academic institutioneurope · it
Official website
Research library14linked papers
Opportunities0open roles
Selected work

Representative Papers

Illiquidity at Risk

Sep 01, 2026

研究通过引入Illiquidity-at-Risk (IlliQaR)指标并考虑跳跃成分,改进了流动性枯竭的预测方法,解决了市场流动性预测问题。

0 citationsRead paper

Beyond Component Testing: Validating Agentic AI Systems

Jul 31, 2026

Existing verification methods for AI agent systems struggle to assess the reliability of multi-step decision trajectories in dynamic environments. Through a systematic literature review of 257 studies, this work constructs a five-dimensional verification taxonomy encompassing behavioral, safety, temporal, regulatory, and multi-agent aspects. Analysis of case studies from healthcare, industrial automation, and intelligent transportation reveals critical gaps in current research, particularly concerning temporal validity, runtime evidence maintenance, regulatory interpretability, and assurance in open multi-agent settings. The study proposes a lifecycle-oriented verification agenda and outlines four key directions: bounded autonomy specifications, adversarial trajectory generation, runtime monitoring, and auditable evidence structures—collectively offering a pathway toward context-aware, trajectory-level trustworthy verification.

0 citationsRead paper
Recent publications

Latest Papers

Illiquidity at Risk

Sep 01, 2026

研究通过引入Illiquidity-at-Risk (IlliQaR)指标并考虑跳跃成分,改进了流动性枯竭的预测方法,解决了市场流动性预测问题。

0 citationsRead paper

Beyond Component Testing: Validating Agentic AI Systems

Jul 31, 2026

Existing verification methods for AI agent systems struggle to assess the reliability of multi-step decision trajectories in dynamic environments. Through a systematic literature review of 257 studies, this work constructs a five-dimensional verification taxonomy encompassing behavioral, safety, temporal, regulatory, and multi-agent aspects. Analysis of case studies from healthcare, industrial automation, and intelligent transportation reveals critical gaps in current research, particularly concerning temporal validity, runtime evidence maintenance, regulatory interpretability, and assurance in open multi-agent settings. The study proposes a lifecycle-oriented verification agenda and outlines four key directions: bounded autonomy specifications, adversarial trajectory generation, runtime monitoring, and auditable evidence structures—collectively offering a pathway toward context-aware, trajectory-level trustworthy verification.

0 citationsRead paper