Communications of the ACM

Formal Reasoning Meets LLMs: Toward AI for Mathematics and Verification

A marriage of formal methods and LLMs seeks to harness the strengths of both.
Security Boulevard

Zero-Knowledge Proofs for Verifiable MCP Tool Execution

Learn how Zero-Knowledge Proofs (ZKP) provide verifiable tool execution for Model Context Protocol (MCP) in a post-quantum world. Secure your AI infrastructure today.
IEEE

Strictifying storage functions for autonomous discrete-time systems using observers

Abstract: This paper addresses the strictification of storage functions for autonomous discrete-time nonlinear systems. Given a storage function that does not increase along solutions, we present ...
IEEE

Adaptive Cruise Control Algorithm for Persistence and Security of Distributed Heterogeneous Vehicle Platoon Based on Discrete-Time Control Barrier Function

Abstract: This paper addresses the persistence and security problem of nonlinear distributed heterogeneous platoons during driving based on the discrete-time control barrier function (DCBF).