Home /Research /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

Year
2025
Citations
3

Keywords

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

Related papers

Browse all OTHER papers