首页 /研究 /A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study
OTHER

A Signal Temporal Logic approach for task-based coordination of multi-aerial systems: A wind turbine inspection case study

Giuseppe Silano, Alvaro Caballero, Davide Liuzza, Luigi Iannelli, Stjepan Bogdan, Martin Saska

发表年份
2025
引用次数
3

关键词

Computer scienceTask (project management)TurbineSIGNAL (programming language)Real-time computingArtificial intelligenceSimulationProgramming languageSystems engineeringAerospace engineering

相关论文

查看 OTHER 分类全部论文