A comprehensive survey on security, privacy issues and emerging defence technologies for UAVs
In the past two decades, there has been a rapid development in the drone industry known as
Unmanned Aerial Vehicles (UAVs). Currently, the use of commercial UAVs has increased a …
Unmanned Aerial Vehicles (UAVs). Currently, the use of commercial UAVs has increased a …
A security review in the UAVNet era: threats, countermeasures, and gap analysis
A Rugo, CA Ardagna, NE Ioini - ACM Computing Surveys (CSUR), 2022 - dl.acm.org
Unmanned Aerial Vehicles (UAVs) are becoming one of the main technological supports for
commercial applications, embracing many domains ranging from human safety to the …
commercial applications, embracing many domains ranging from human safety to the …
A taxonomy for classifying runtime verification tools
Over the last 20 years, runtime verification (RV) has grown into a diverse and active field,
which has stimulated the development of numerous theoretical frameworks and practical …
which has stimulated the development of numerous theoretical frameworks and practical …
Plug in the safety chip: Enforcing constraints for llm-driven robot agents
Recent advancements in large language models (LLMs) have enabled a new research
domain, LLM agents, for solving robotics and planning tasks by leveraging the world …
domain, LLM agents, for solving robotics and planning tasks by leveraging the world …
Towards a framework for certification of reliable autonomous systems
A computational system is called autonomous if it is able to make its own decisions, or take
its own actions, without human supervision or control. The capability and spread of such …
its own actions, without human supervision or control. The capability and spread of such …
A Survey on Security of Unmanned Aerial Vehicle Systems: Attacks and Countermeasures
X Wei, J Ma, C Sun - IEEE Internet of Things Journal, 2024 - ieeexplore.ieee.org
With the wide application of unmanned aerial vehicles (UAVs), security problems of UAV
systems are gradually exposed, which bring great risks to UAV application. This article …
systems are gradually exposed, which bring great risks to UAV application. This article …
Automated translation of natural language requirements to runtime monitors
Runtime verification (RV) enables monitoring systems at runtime, to detect property
violations early and limit their potential consequences. This paper presents an end-to-end …
violations early and limit their potential consequences. This paper presents an end-to-end …
RTLola cleared for take-off: monitoring autonomous aircraft
The autonomous control of unmanned aircraft is a highly safety-critical domain with great
economic potential in a wide range of application areas, including logistics, agriculture, civil …
economic potential in a wide range of application areas, including logistics, agriculture, civil …
ADMOST: UAV flight data anomaly detection and mitigation via online subspace tracking
Y He, Y Peng, S Wang, D Liu - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
Since the control laws require sensor feedback to set the current dynamic state of the
unmanned aerial vehicle (UAV), incorrect readings may lead to potentially catastrophic …
unmanned aerial vehicle (UAV), incorrect readings may lead to potentially catastrophic …
Satisfiability checking for mission-time LTL
Mission-time LTL (MLTL) is a bounded variant of MTL over naturals designed to generically
specify requirements for mission-based system operation common to aircraft, spacecraft …
specify requirements for mission-based system operation common to aircraft, spacecraft …