Imagen de Portada

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Vázquez, Gricel, Imrie, Calum, Shahbeigi, Sepeedeh, Proma, Nawshin Mannan, Gan, Tian, Hodge, Victoria J, Molloy, John, Gerasimou, Simos
Formato:	Preprint
Publicado:	2026
Materias:	Logic in Computer Science Robotics Software Engineering Systems and Control
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Probabilistic Safety Verification for an Autonomous Ground Vehicle: A Situation Coverage Grid Approach
por: Proma, Nawshin Mannan, et al.
Publicado: (2025)

Mind the Prompt: Self-adaptive Generation of Task Plan Explanations via LLMs
por: Vázquez, Gricel, et al.
Publicado: (2026)

Accelerating Policy Synthesis in Large-Scale MDPs via Hierarchical Adaptive Refinement
por: Evangelidis, Alexandros, et al.
Publicado: (2025)

Adaptive Human-Robot Collaborative Missions using Hybrid Task Planning
por: Vázquez, Gricel, et al.
Publicado: (2025)

Robustness Requirement Coverage using a Situation Coverage Approach for Vision-based AI Systems
por: Shahbeigi, Sepeedeh, et al.
Publicado: (2025)

Assuring the Safety of Reinforcement Learning Components: AMLAS-RL
por: Imrie, Calum Corrie, et al.
Publicado: (2025)

Verification and External Parameter Inference for Stochastic World Models
por: Calinescu, Radu, et al.
Publicado: (2025)

SCALOFT: An Initial Approach for Situation Coverage-Based Safety Analysis of an Autonomous Aerial Drone in a Mine Environment
por: Proma, Nawshin Mannan, et al.
Publicado: (2025)

Quantitative Assurance and Synthesis of Controllers from Activity Diagrams
por: Ye, Kangfeng, et al.
Publicado: (2024)

RESMETRIC: Analyzing Resilience to Enable Research on Antifragility
por: Koenig, Ferdinand, et al.
Publicado: (2025)

Formal Synthesis of Uncertainty Reduction Controllers
por: Carwehl, Marc, et al.
Publicado: (2024)

Learning to Navigate Under Imperfect Perception: Conformalised Segmentation for Safe Reinforcement Learning
por: Bethell, Daniel, et al.
Publicado: (2025)

Safe Reinforcement Learning in Black-Box Environments via Adaptive Shielding
por: Bethell, Daniel, et al.
Publicado: (2024)

Safe But Not Sorry: Reducing Over-Conservatism in Safety Critics via Uncertainty-Aware Modulation
por: Bethell, Daniel, et al.
Publicado: (2025)

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem
por: Bryant, Dustin, et al.
Publicado: (2025)

Using Rely/Guarantee to Pinpoint Assumptions underlying Security Protocols
por: Yatapanage, Nisansala P., et al.
Publicado: (2023)

Specification and Verification for Climate Modeling: Formalization Leading to Impactful Tooling
por: Altuntas, Alper, et al.
Publicado: (2025)

Vision: An Extensible Methodology for Formal Software Verification in Microservice Systems
por: Wojtak, Connor, et al.
Publicado: (2025)

Formalizing UML State Machines for Automated Verification -- A Survey
por: André, Étienne, et al.
Publicado: (2024)

Smart Contracts Formal Verification: A Systematic Literature Review
por: Davila, Rene, et al.
Publicado: (2025)

DeepKnowledge: Generalisation-Driven Deep Learning Testing
por: Missaoui, Sondess, et al.
Publicado: (2024)

Proceedings of the 7th Workshop on Models for Formal Analysis of Real Systems
por: ter Beek, Maurice H., et al.
Publicado: (2026)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis
por: Lanzinger, Florian, et al.
Publicado: (2024)

Applying Formal Methods Tools to an Electronic Warfare Codebase (Experience report)
por: Li, Letitia W., et al.
Publicado: (2026)

ESBMC: A Survey of Its Evolution, Integration, and Future Directions in Formal Software Verification
por: Dantas, Pierre, et al.
Publicado: (2026)

Formal Verification of PLCs as a Service: A CERN-GSI Safety-Critical Case Study (extended version)
por: Lopez-Miguel, Ignacio D., et al.
Publicado: (2025)

Formal Modelling and Analysis of a Self-Adaptive Robotic System
por: Päßler, Juliane, et al.
Publicado: (2023)

Autonomous Task Completion Based on Goal-directed Answer Set Programming
por: Tudor, Alexis R.
Publicado: (2025)

Formal Model Guided Conformance Testing for Blockchains
por: Drobnjakovic, Filip, et al.
Publicado: (2025)

LeanBET: Formally-verified surface area calculations in Lean
por: Ugwuanyi, Ejike D., et al.
Publicado: (2026)

Proceedings Sixth Workshop on Models for Formal Analysis of Real Systems
por: Lang, Frédéric, et al.
Publicado: (2024)

Proceedings 9th edition of Working Formal Methods Symposium
por: Arusoaie, Andrei, et al.
Publicado: (2025)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis
por: Murphy, William, et al.
Publicado: (2024)

StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs
por: Kawamoto, Yusuke, et al.
Publicado: (2024)

Safe-ROS: An Architecture for Autonomous Robots in Safety-Critical Domains
por: Benjumea, Diana C., et al.
Publicado: (2025)

LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
por: Andresel, Medina, et al.
Publicado: (2026)

Methodology for Test Case Allocation based on a Formalized ODD
por: Skoglund, Martin, et al.
Publicado: (2025)

Guidelines for Producing Concise LNT Models, Illustrated with Formal Models of the Algorand Consensus Protocol
por: Garavel, Hubert
Publicado: (2026)

Uma Prova de Conceito para a Verificação Formal de Contratos Inteligentes
por: Neves, Murilo de Souza, et al.
Publicado: (2026)

Viverra: Text-to-Code with Guarantees
por: Wu, Haoze, et al.
Publicado: (2026)