Cover Image

Formal Modelling and Analysis of a Self-Adaptive Robotic System

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Päßler, Juliane, ter Beek, Maurice H., Damiani, Ferruccio, Tarifa, S. Lizeth Tapia, Johnsen, Einar Broch
Format:	Preprint
Published:	2023
Subjects:	Logic in Computer Science Robotics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

ROSA: A Knowledge-based Solution for Robot Self-Adaptation
by: Silva, Gustavo Rezende, et al.
Published: (2025)

Beyond the Control Equations: An Artifact Study of Implementation Quality in Robot Control Software
by: Chur, Nils, et al.
Published: (2026)

Formally Guaranteed Control Adaptation for ODD-Resilient Autonomous Systems
by: Vázquez, Gricel, et al.
Published: (2026)

Formal Evidence Generation for Assurance Cases for Robotic Software Models
by: Yan, Fang, et al.
Published: (2026)

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

Behavior Trees and State Machines in Robotics Applications
by: Ghzouli, Razan, et al.
Published: (2022)

Automata Learning versus Process Mining: The Case for User Journeys
by: Kobialka, Paul, et al.
Published: (2026)

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

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

Human-in-the-Loop Uncertainty Analysis in Self-Adaptive Robots Using LLMs
by: Sartaj, Hassan, et al.
Published: (2026)

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

Identifying Uncertainty in Self-Adaptive Robotics with Large Language Models
by: Sartaj, Hassan, et al.
Published: (2025)

Formalisms for Robotic Mission Specification and Execution: A Comparative Analysis
by: Filippone, Gianluca, et al.
Published: (2026)

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

Towards A Catalogue of Requirement Patterns for Space Robotic Missions
by: Etumi, Mahdi, et al.
Published: (2025)

Software Engineering for Self-Adaptive Robotics: A Research Agenda
by: Sartaj, Hassan, et al.
Published: (2025)

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

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

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

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

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

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

Automating Semantic Analysis of System Assurance Cases using Goal-directed ASP
by: Murugesan, Anitha, et al.
Published: (2024)

BedreFlyt: Improving Patient Flows through Hospital Wards with Digital Twins
by: Sieve, Riccardo, et al.
Published: (2025)

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

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

Modelling and Model-Checking a ROS2 Multi-Robot System using Timed Rebeca
by: Trinh, Hiep Hong, et al.
Published: (2025)

ROBUST: 221 Bugs in the Robot Operating System
by: Timperley, Christopher S., et al.
Published: (2024)

Structural Abstraction and Selective Refinement for Formal Verification
by: Luckeneder, Christoph, et al.
Published: (2025)

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

Regular Abstractions for Array Systems
by: Hong, Chih-Duo, et al.
Published: (2024)

Comprehension vs. Adoption: Evaluating a Language Workbench Through a Family of Experiments
by: Broccia, Giovanna, et al.
Published: (2026)

Compositionality of Systems and Partially Ordered Runs
by: Fettke, Peter, et al.
Published: (2026)

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

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

UAMTERS: Uncertainty-Aware Mutation Analysis for DL-enabled Robotic Software
by: Lu, Chengjie, et al.
Published: (2026)

Runtime Verification and Field-based Testing for ROS-based Robotic Systems
by: Caldas, Ricardo, et al.
Published: (2024)

UniCon: A Unified System for Efficient Robot Learning Transfers
by: Lin, Yunfeng, et al.
Published: (2026)

Relevant HAL Interface Requirements for Embedded Systems
by: Bentele, Manuel, et al.
Published: (2025)