:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Azaiez, Atef, Anisi, David A., Farrell, Marie, Luckcuck, Matt
Format:	Recurso digital
Language:
Published:	Zenodo 2026
Online Access:	https://doi.org/10.5281/zenodo.18445328
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

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

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

Adventures in FRET and Specification
by: Farrell, Marie, et al.
Published: (2025)

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

Varanus: Runtime Verification for CSP
by: Luckcuck, Matt, et al.
Published: (2025)

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Concentration of Truncated Signatures of Gaussian Rough Paths
by: Lechiheb, Atef
Published: (2025)

Geometric Rough Paths above Mixed Fractional Brownian Motion
by: Lechiheb, Atef
Published: (2025)

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

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

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

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

Computational Shape Derivatives in Heat Conduction: An Optimization Approach for Enhanced Thermal Performance
by: Azaiez, M., et al.
Published: (2024)

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

PODNO: Proper Orthogonal Decomposition Neural Operators
by: Cheng, Zilan, et al.
Published: (2025)

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