Work

Design, Specification, and Verification of a Cooperative Multi-robots System for Delivery Service

Year: 2025

Type: conference-paper

Source: Information systems engineering and management

DOI: 10.1007/978-3-031-90758-6_18

Authors: Mahdi Kahoul, Leyla Belaiche, Laid Kahloul, Samir Tigane

Institution: University of Biskra

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

SDG: Industry, innovation and infrastructure

Open Access status: closed

OpenAlex ID: W4412192518

FWCI:

Cites: 22

Cited by:

Related to: 10