drone-safety

Here is 1 public repository matching this topic...

aliallouf / stl-drone-monitor

A Signal Temporal Logic (STL) monitor for drone telemetry. Uses rtamt to evaluate real-time signals against safety requirements, calculating robustness degrees for altitude and status constraints.

python stl signal-temporal-logic drone-safety robustness-degree rtamt

Updated Jan 31, 2026
Python

Improve this page

Add a description, image, and links to the drone-safety topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the drone-safety topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

drone-safety

Here is 1 public repository matching this topic...

aliallouf / stl-drone-monitor

Improve this page

Add this topic to your repo