UAV-DSL is a domain-specific language that support drone mission specification, physics model, and check drone-related safety and liveness properties of the drone.
- what properties are interesting in the context of drones?
-
Notifications
You must be signed in to change notification settings - Fork 0
VUISIS/UAV-DSL
About
A domain-specific language to support mission specifications, physics-based modeling and compilation to other modeling language to support reasoning about drone properties.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published