Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
C
Chaoze Lu
C
Chenghao Li
C
Chenxia Liu
X
Xianrui Wu
Y
Yimin Huang
Article Details
Journal
Scientific Reports
Volume / Issue
Vol. 15, Issue 1
Published
July 01, 2025
ISSN
2045-2322
Publisher
Nature Portfolio
Authors (5)
C
Chaoze Lu
C
Chenghao Li
C
Chenxia Liu
X
Xianrui Wu
Y
Yimin Huang
Related Articles from this Journal
AI models of unstable flow exhibit hallucination
Ramdhan Wibawa, Birendra Jha
Aug 2026
10.1038/s41598-026-64023-8
The MCAA-YOLO + XPBI integrated model provides a hybrid intelligent measurement method for predicting the body weight of Hu sheep
Hang Zhang, Yuang Cheng et al.
Aug 2026
10.1038/s41598-026-64075-w
Application of iron nano-biofertilizers as a sustainable approach to enhance growth and micronutrient uptake in soybean
Ava Mohrazi, Reza Ghasemi-Fasaei
Aug 2026
10.1038/s41598-026-66011-4
Adolescents’ status-dependent public and private conformity to prosocial and antisocial decisions in a public goods game
Niloofar Saeedi, Khatereh Borhani et al.
Aug 2026
10.1038/s41598-026-64831-y
An explainable hierarchical capsule network framework for supporting expert sensory evaluation of herbal medicines with natural language generation
Hyein Lee, Dae-Hyun Jung
Aug 2026
10.1038/s41598-026-64156-w