Imagen de Portada

Ethical Hyper-Velocity (EHV): A Hardware-Rooted Zero-Trust Runtime Enforcement Architecture for Agentic AI Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autor principal:	Sharma, Riddhi Mohan
Formato:	Preprint
Publicado:	2026
Materias:	Artificial Intelligence Logic in Computer Science
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
por: Cheng, Chih-Hong, et al.
Publicado: (2024)

Dynamic Logic of Trust-Based Beliefs
por: Jiang, Junli, et al.
Publicado: (2025)

Beyond the Black Box: A Cognitive Architecture for Explainable and Aligned AI
por: Keyi, Hu
Publicado: (2025)

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
por: Ferrando, Angelo
Publicado: (2025)

RvLLM: LLM Runtime Verification with Domain Knowledge
por: Zhang, Yedi, et al.
Publicado: (2025)

Ontology for Policing: Conceptual Knowledge Learning for Semantic Understanding and Reasoning in Law Enforcement Reports
por: Srbinovska, Anita, et al.
Publicado: (2026)

Formal Ethical Obligations in Reinforcement Learning Agents: Verification and Policy Updates
por: Shea-Blymyer, Colin, et al.
Publicado: (2024)

Hyper Strategy Logic
por: Beutner, Raven, et al.
Publicado: (2024)

Causal Past Logic for Runtime Verification of Distributed LLM Agent Workflows
por: Bollig, Benedikt
Publicado: (2026)

Categorical Construction of Logically Verifiable Neural Architectures
por: Nye, Logan
Publicado: (2025)

Middle Architecture Criteria
por: Beverley, John, et al.
Publicado: (2024)

AI Space Physics: Constitutive boundary semantics for open AI institutions
por: Romanchuk, Oleg, et al.
Publicado: (2026)

Reasoning in Neurosymbolic AI
por: Tran, Son, et al.
Publicado: (2025)

On logic and generative AI
por: Gurevich, Yuri, et al.
Publicado: (2024)

Generic-to-Specific Reasoning and Learning for Scalable Ad Hoc Teamwork
por: Dodampegama, Hasra, et al.
Publicado: (2025)

Grammars of Formal Uncertainty: When to Trust LLMs in Automated Reasoning Tasks
por: Ganguly, Debargha, et al.
Publicado: (2025)

The Epistemic Asymmetry of Consciousness Self-Reports: A Formal Analysis of AI Consciousness Denial
por: Kim, Chang-Eop
Publicado: (2024)

The STAR-XAI Protocol: A Framework for Inducing and Verifying Agency, Reasoning, and Reliability in AI Agents
por: Guasch, Antoni, et al.
Publicado: (2025)

Enhancing Formal Theorem Proving: A Comprehensive Dataset for Training AI Models on Coq Code
por: Florath, Andreas
Publicado: (2024)

Graph-Native Cognitive Memory for AI Agents: Formal Belief Revision Semantics for Versioned Memory Architectures
por: Park, Young Bin
Publicado: (2026)

A Logic for Policy Based Resource Exchanges in Multiagent Systems
por: Ceragioli, Lorenzo, et al.
Publicado: (2024)

Agentic System with Modal Logic for Autonomous Diagnostics
por: Sulc, Antonin, et al.
Publicado: (2025)

The logic of KM belief update is contained in the logic of AGM belief revision
por: Bonanno, Giacomo
Publicado: (2026)

First Order Logic with Fuzzy Semantics for Describing and Recognizing Nerves in Medical Images
por: Bloch, Isabelle, et al.
Publicado: (2025)

Abductive Reasoning in a Paraconsistent Framework
por: Bienvenu, Meghyn, et al.
Publicado: (2024)

Policy-Adaptable Methods For Resolving Normative Conflicts Through Argumentation and Graph Colouring
por: Joyce, Johnny
Publicado: (2025)

Similarity-based analogical proportions
por: Antić, Christian
Publicado: (2024)

An Automated Theorem Generator with Theoretical Foundation Based on Rectangular Standard Contradiction
por: Xu, Yang, et al.
Publicado: (2025)

Neuro-symbolic AI for Predictive Maintenance (PdM) -- review and recommendations
por: Hamilton, Kyle, et al.
Publicado: (2026)

interwhen: A Generalizable Framework for Steering Reasoning Models with Test-time Verification
por: Bhat, Vishak K, et al.
Publicado: (2026)

Discover and Prove: An Open-source Agentic Framework for Hard Mode Automated Theorem Proving in Lean 4
por: Liu, Chengwu, et al.
Publicado: (2026)

Neuro-Symbolic Strong-AI Robots with Closed Knowledge Assumption: Learning and Deductions
por: Majkic, Zoran
Publicado: (2026)

Counting Worlds Branching Time Semantics for post-hoc Bias Mitigation in generative AI
por: Buda, Alessandro G., et al.
Publicado: (2026)

Cloud Kitchen: Using Planning-based Composite AI to Optimize Food Delivery Processes
por: Švancár, Slavomír, et al.
Publicado: (2024)

Deductive Systems for Logic Programs with Counting
por: Fandinno, Jorge, et al.
Publicado: (2025)

Building Trustworthy AI by Addressing its 16+2 Desiderata with Goal-Directed Commonsense Reasoning
por: Tudor, Alexis R., et al.
Publicado: (2025)

Dual Computational Horizons: Incompleteness and Unpredictability in Intelligent Systems
por: Ganguly, Abhisek
Publicado: (2025)

Explainability-Driven Quality Assessment for Rule-Based Systems
por: Seneviratne, Oshani, et al.
Publicado: (2025)

Natural Strategic Ability in Stochastic Multi-Agent Systems
por: Berthon, Raphaël, et al.
Publicado: (2024)

Proof Recommendation System for the HOL4 Theorem Prover
por: Dekhil, Nour, et al.
Publicado: (2024)