Imagen de Portada

A Survey of Formal Methods for Autonomous Robots - List of Identified Tools

Fuente: Zenodo

Guardado en:

Detalles Bibliográficos
Autores principales:	Azaiez, Atef, Anisi, David A., Farrell, Marie, Luckcuck, Matt
Formato:	Recurso digital
Publicado:	Zenodo 2026
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Revisiting Formal Methods for Autonomous Robots: A Structured Survey
por: Azaiez, Atef, et al.
Publicado: (2025)

Verified Design of Robotic Autonomous Systems using Probabilistic Model Checking
por: Azaiez, Atef, et al.
Publicado: (2025)

Proceedings Sixth International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2024)

Proceedings Seventh International Workshop on Formal Methods for Autonomous Systems
por: Luckcuck, Matt, et al.
Publicado: (2025)

FRETting about Requirements: Formalised Requirements for an Aircraft Engine Controller
por: Farrell, Marie, et al.
Publicado: (2021)

A Verification Methodology for Safety Assurance of Robotic Autonomous Systems
por: Adam, Mustafa, et al.
Publicado: (2025)

Adventures in FRET and Specification
por: Farrell, Marie, et al.
Publicado: (2025)

El diseño de un modelo macroeconómico poskeynesiano : sectores oligopólico y competitivo y trabajadores sindicados / David Anisi
por: Anisi, David
Publicado: (1971)

Productividad, crecimiento y empleo : condicionamientos internacionales y política económica / David Anisi
por: Anisi, David
Publicado: (1965)

Modelos económicos : Una interpretación de la macroeconomía / David Anisi
por: Anisi, David

Varanus: Runtime Verification for CSP
por: Luckcuck, Matt, et al.
Publicado: (2025)

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

An Extended Survey and a Comparison Framework for Dataflow Models of Computation and Communication
por: Roumage, Guillaume, et al.
Publicado: (2025)

Formal Methods in Robot Policy Learning and Verification: A Survey on Current Techniques and Future Directions
por: Manganaris, Anastasios, et al.
Publicado: (2026)

A Latent-to-Active Cognitive Undersea Defense Network
por: Atef, Yasser
Publicado: (2025)

Supporting Software Formal Verification with Large Language Models: An Experimental Study
por: Wang, Weiqi, et al.
Publicado: (2025)

Scalar behavior for a complex multi‐soliton arising in blow‐up for a semilinear wave equation
por: Asma Azaiez, et al.
Publicado: (2026)

BRYOMOLECULES - D6.5 Project documentary
por: Azaiez, Ines, et al.
Publicado: (2025)

Scalar behavior for a complex multi-soliton arising in blow-up for a semilinear wave equation
por: Azaiez, Asma, et al.
Publicado: (2025)

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

Formal Methods for Mobile Ad Hoc Networks: A Survey
por: Fokkink, Wan, et al.
Publicado: (2025)

Model Checking and Verification of Synchronisation Properties of Cobot Welding
por: Murray, Yvonne, et al.
Publicado: (2024)

Higher-Order Multifractional Stable Motion: Definition and Fundamental Properties
por: Lechiheb, Atef
Publicado: (2026)

Fractional Navier-Stokes Equations with Caputo Derivative Driven by Hermite Noise
por: Lechiheb, Atef
Publicado: (2026)

Stochastic Burgers equation driven by multiplicative Rosenblatt noise: local existence, uniqueness and regularity
por: Lechiheb, Atef
Publicado: (2026)

The “Sonographic Paradox” of Endometrial Appearance Across Menstrual Phases
por: Atef Darwish
Publicado: (2026)

Fractional Homogenization of Parabolic Equations with Long-Range Random Potentials
por: Lechiheb, Atef
Publicado: (2025)

Stochastic Burgers Equation Driven by a Hermite Sheet with Additive Noise: Existence, Uniqueness, and Regularity
por: Lechiheb, Atef
Publicado: (2025)

Canonical Rough Path over Tempered Fractional Brownian Motion: Existence, Construction, and Applications
por: Lechiheb, Atef
Publicado: (2025)

Concentration of Truncated Signatures of Gaussian Rough Paths
por: Lechiheb, Atef
Publicado: (2025)

Geometric Rough Paths above Mixed Fractional Brownian Motion
por: Lechiheb, Atef
Publicado: (2025)

On generalized Stirling numbers and special functions
por: Mezlini, Kamel, et al.
Publicado: (2024)

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

Real-time Mode-Aware Dataflow: A Dataflow Model to Specify and Analyze Mode-dependent CPSs under Relaxed Timing Constraints
por: Roumage, Guillaume, et al.
Publicado: (2025)

Mobile Accessibility Evaluation: A Survey of Methods and Tools
por: Fernandez, Alison
Publicado: (2025)

Identifying Cryptic Mammals With Non‐Invasive Methods: An Effective Molecular Species Identification Tool to Survey Southern African Terrestrial Carnivores
por: Amy Wong, et al.
Publicado: (2025)

The Ingenuity Mars Helicopter Specified and Analyzed with the Real-time Mode-aware Dataflow Model
por: Roumage, Guillaume, et al.
Publicado: (2025)

Probabilistic modelling and safety assurance of an agriculture robot providing light-treatment
por: Adam, Mustafa, et al.
Publicado: (2025)

Automated Formalization of Probabilistic Requirements from Structured Natural Language
por: Mavridou, Anastasia, et al.
Publicado: (2025)

Semantic Textual Similarity Methods, Tools, and Applications: A Survey
por: Goutam Majumder
Publicado: (2016)