Verification of temporal consistency constraints in the evolution of software for intelligent unmanned systems driven by model checking
Abstract As the application of intelligent unmanned systems in open environments becomes increasingly widespread, temporal consistency in the system’s dynamic evolution process has become a critical issue for determining whether the system is safe and reliable. To address this issue, this paper prop...
Saved in:
| Main Authors: | , , , , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Nature Portfolio
2025-07-01
|
| Series: | Scientific Reports |
| Subjects: | |
| Online Access: | https://doi.org/10.1038/s41598-025-06523-7 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|