Library

Subject
Tags

1,168 matches · Safety Systems Engineering in Autonomy

#
001Modifier en toute sécurité une application métier legacy sans tests — Tests de caractérisation et refactorisation en pratique (archived 2026-07-27)OpenAlexPaperGo Komura4 days ago
002Modifier en toute sécurité une application métier legacy sans tests — Tests de caractérisation et refactorisation en pratique (archived 2026-07-27)OpenAlexPaperGo Komura4 days ago
003Structural vs. Advisory Safety Constraints in AI Decision Systems: A Formal AnalysisOpenAlexPaperWilliam D. Diacont4 days ago
004Structural vs. Advisory Safety Constraints in AI Decision Systems: A Formal AnalysisOpenAlexPaperWilliam D. Diacont4 days ago
005Renewable Safety Certification under Repeated Adaptive Updates: Threshold Policies for Observable-Image Safety MarginsOpenAlexPaperKarimov Hikmat, Alekberli Rahid7 days ago
006Renewable Safety Certification under Repeated Adaptive Updates: Threshold Policies for Observable-Image Safety MarginsOpenAlexPaperKarimov Hikmat, Alekberli Rahid7 days ago
007Certification Lifetime under Repeated Adaptive Updates: Horizon and Exhaustion Theorems for Observable-Image Safety MarginsOpenAlexPaperKarimov Hikmat, Alekberli RahidJul 23
008Certification Lifetime under Repeated Adaptive Updates: Horizon and Exhaustion Theorems for Observable-Image Safety MarginsOpenAlexPaperKarimov Hikmat, Alekberli RahidJul 23
009DEME 2.0: Real-Time Ethical Governance for Safety-Critical Autonomous Systems via Computable Moral LandscapesOpenAlexPaperAndrew BondJul 19
010DEME 2.0: Real-Time Ethical Governance for Safety-Critical Autonomous Systems via Computable Moral LandscapesOpenAlexPaperAndrew BondJul 19
011Prescriptive Edge AI in Safety-Critical Operational Technology: A Systematic Literature Review ProtocolOpenAlexPaperBreno Henrique Nascimento de Andrade, R.A.R. Oliveira et al.Jul 19
012TRACE: Threat-Relative Ablative Control Evaluation at the MCP Agent-to-Tool Boundary — Closing the Governance Gap Between ISO/IEC 42001 and ISO/IEC 27090OpenAlexPaperВ В ИвановJul 18
013TRACE: Threat-Relative Ablative Control Evaluation at the MCP Agent-to-Tool Boundary — Closing the Governance Gap Between ISO/IEC 42001 and ISO/IEC 27090OpenAlexPaperВ В ИвановJul 18
014Certifying the Black Box: Continuous Statistical Assurance for Autonomous VehiclesOpenAlexPaperNeel ShahJul 17
015Certifying the Black Box: Continuous Statistical Assurance for Autonomous VehiclesOpenAlexPaperNeel ShahJul 17
016LLMs as judges: Toward the LLM-assisted review of GSN-compliant assurance casesOpenAlexPaperGerhard Yu, Mithila Sivakumar et al.Jul 17
017The ALE Taxonomy, Version 2: Autonomous Logic Escalation - Naming, Grounding, and Bounding the Behavioural Failure Modes of Autonomous AI AgentsOpenAlexPaperSotonye AbamJul 17
018Can model attribution bridge AI's accountability gap in safety-critical domains?OpenAlexPaperMarc JuárezJul 16
019Developing Mathematical Models for Interpretability and Safety Verification of AI-Driven Engineering SystemsOpenAlexPaperMoses Adeolu Agoi, Emmanuel Taiwo AGOI et al.Jul 16
020Managed Agents vs. Workflow AutomationOpenAlexPaperVanchhit KhareJul 16
021REALITY ACCORD: Counterexample-Bounded Effect Concordance for Heterogeneous Autonomous SystemsOpenAlexPaperAgim HaxhijahaJul 16
022Continuous Admissibility: A Temporal Governance Framework for Delegated Machine Authority in Regulated EnterprisesOpenAlexPaperM Maruf HossainJul 14
023Continuous Admissibility: A Temporal Governance Framework for Delegated Machine Authority in Regulated EnterprisesOpenAlexPaperM Maruf HossainJul 14
024The Enforcement-Specification Failure Diagnostic: A Taxonomy for Distinguishing Governance Control Failures in Autonomous AI Incident ManagementOpenAlexPaperM Maruf HossainJul 14
025The Enforcement-Specification Failure Diagnostic: A Taxonomy for Distinguishing Governance Control Failures in Autonomous AI Incident ManagementOpenAlexPaperM Maruf HossainJul 14
026Bounded-Uncertainty Verification for Artificial Intelligence Systems: An Honest Output Classification Grounded in Formal Impossibility ResultsOpenAlexPaperSimon DoleraJul 13
027Bounded-Uncertainty Verification for Artificial Intelligence Systems: An Honest Output Classification Grounded in Formal Impossibility ResultsOpenAlexPaperSimon DoleraJul 13
028Copilot and CAN-Bus Connected ECUs Integrated Scenarios for Automotive Diagnosis, Enhanced by Scan Tools, Conversational Agents and AI TechnologiesOpenAlexPaperCosmin Tomozei, Iulian Furdu et al.Jul 7
029HARNESS D2.6 Analysis of the AI and Data Regulatory FrameworkOpenAlexPaperMeem Arafat Manab, Carlotta Buttaboni et al.Jul 7
030HARNESS D2.6 Analysis of the AI and Data Regulatory FrameworkOpenAlexPaperMeem Manab Arafat, Carlotta Buttaboni et al.Jul 7
031The Edge of Field (EoF) Doctrine: Governing the Ingress Boundary in Autonomous SystemsOpenAlexPaperCharles RuppJul 7
032The Edge of Field (EoF) Doctrine: Governing the Ingress Boundary in Autonomous SystemsOpenAlexPaperCharles RuppJul 7
033D5.2_AI-Enriched Safety Criteria Catalogue and Digital Twin Framework for Predictive Safety and Maintenance v1OpenAlexPaperSusana FerreiroJul 6
034D5.2_AI-Enriched Safety Criteria Catalogue and Digital Twin Framework for Predictive Safety and Maintenance v1OpenAlexPaperSusana FerreiroJul 6
035Continuous Admissibility: A Temporal Governance Framework for Delegated Machine Authority in Regulated EnterprisesOpenAlexPaperM Maruf HossainJul 5
036Continuous Admissibility: A Temporal Governance Framework for Delegated Machine Authority in Regulated EnterprisesOpenAlexPaperM Maruf HossainJul 3
037Proxy-Based Evaluation and the Limits of Assurance in AI GovernanceOpenAlexPaperAman SharmaJul 3
038The Value Drift Invariance Theorem (VDIT)OpenAlexPaperJoshua O. BautistaJul 3
039The Value Drift Invariance Theorem (VDIT)OpenAlexPaperJoshua O. BautistaJul 3
040A review of technology evolution and risk of autonomous vehiclesOpenAlexPaperBudi Nugroho, Abdurrakhman Prasetyadi et al.Jul 2
041The Value Drift Invariance Theorem (VDIT)OpenAlexPaperJoshua O. BautistaJul 2
042The Value Drift Invariance Theorem (VDIT)OpenAlexPaperJoshua O. BautistaJul 2
043Multi-Agent LLM Workflow for Regulatory-Driven Requirement Generation in Automotive Software DevelopmentOpenAlexPaperAbdelrahman Abdalla, Lukas Schäfers et al.Jul 1
044Paper 10.1 – Decision Continuity Engineering Compliance Standard (Standard Edition)OpenAlexPaperJoel MonasterialJul 1
045Paper 10.1 – Decision Continuity Engineering Compliance Standard (Standard Edition)OpenAlexPaperJoel MonasterialJul 1
046VETTING: A dual-LLM framework for in-loop safety verification via policy isolation in educational AIOpenAlexPaperHongming Li, Shan Zhang et al.Jul 1
047CertiCoder: Towards MISRA-Compliant C Code Generation with LLMsOpenAlexPaperMin Gou, Zhiyu Yao et al.Jun 30
048SAFEMLOPS: CONTINUOUS MONITORING AND AUTOMATED RETRAINING OF SAFETY-CRITICAL ML MODELS IN AUTOMOTIVE SYSTEMSOpenAlexPaperRavi Sankar SambangiJun 30
049SAFEMLOPS: CONTINUOUS MONITORING AND AUTOMATED RETRAINING OF SAFETY-CRITICAL ML MODELS IN AUTOMOTIVE SYSTEMSOpenAlexPaperRavi Sankar SambangiJun 30
050The Verification Benchmarking Standard (Verification Intelligence series, Paper 11 of 12)OpenAlexPaperDarren WrightJun 29
051The Verification Benchmarking Standard (Verification Intelligence series, Paper 11 of 12)OpenAlexPaperDarren WrightJun 29
052A Quiet Roadmap for Preventing Uncontrollable AI Dangerous Instruction Forms, Instruction Mediation, Corrigibility, and Dynamic Override in Gradual Loss of ControlOpenAlexPaperKusuo OdaJun 27
053A Quiet Roadmap for Preventing Uncontrollable AI Dangerous Instruction Forms, Instruction Mediation, Corrigibility, and Dynamic Override in Gradual Loss of ControlOpenAlexPaperKusuo OdaJun 27
054Action Without a Global Controller: Embedded Agency, Option Reach, Control Resolution, Self-Intervention, and Agent Corrigibility in a Consistency-Constrained Information HistoryOpenAlexPaperTomoyuki UchidaJun 27
055Action Without a Global Controller: Embedded Agency, Option Reach, Control Resolution, Self-Intervention, and Agent Corrigibility in a Consistency-Constrained Information HistoryOpenAlexPaperTomoyuki UchidaJun 27
056DRIVE‐SAFE: Data‐Driven Robustness and Informed Validation for Evolving Specifications via Formal EvaluationOpenAlexPaperKristy Sakano, Jianyu An et al.Jun 27
057The Verification Benchmarking Standard (Verification Intelligence series, Paper 11 of 12)OpenAlexPaperDarren WrightJun 27
058HARNESS D2.4 Risk Assessment and Management Models - Version 1OpenAlexPaperFabian Linde, Sheyla Leyva-SánchezJun 26
059HARNESS D2.4 Risk Assessment and Management Models - Version 1OpenAlexPaperFabian Linde, Sheyla Leyva-SánchezJun 26
060HARNESS D2.6 Analysis of the AI and Data Regulatory FrameworkOpenAlexPaperMeem Manab Arafat, Carlotta Buttaboni et al.Jun 26

Showing 60 of 1,168 documents · scroll for more