Login / Signup
Integrating runtime verification into an automated UAS traffic management system.
Abigail Hammer
Matthew Cauwels
Benjamin Hertz
Phillip H. Jones
Kristin Y. Rozier
Published in:
Innov. Syst. Softw. Eng. (2022)
Keyphrases
</>
management system
semi automated
decision support system
model checking
fully automated
network traffic
real time
databases
formal verification
end to end
computer aided
genetic algorithm
congestion control
road network
traffic flow
case study
face verification
verification method