Login / Signup
Towards Declarative Specification of Multi-Drone BVLOS Missions for UTM.
Miguel Campusano
Niels Heltner
Niclas Mølby
Kjeld Jensen
Ulrik Pagh Schultz
Published in:
IRC (2020)
Keyphrases
</>
high level
attribute grammars
real time
neural network
learning algorithm
clustering algorithm
database systems
multi agent
formal specification
specification language
declarative language