Work

Opacity-Preserving Task Planning for Multi-Robot Systems with LTL Specifications

Year: 2025

Type: conference-paper

Source: International Conference on Artificial Intelligence, Big Data and Algorithms (CAIBDA)

DOI: 10.1109/caibda65784.2025.11183106

Authors: Chan Gu, Lina Wang

Institution: Shaanxi University of Science and Technology

Language: English

Topic: Formal Methods in Verification

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: closed

OpenAlex ID: W4415004371

FWCI:

Cites: 20

Cited by:

Related to: