Crossmark

Using formal methods to reason about taskload and resource conflicts in simulated air traffic scenarios

Published Online: 2017-10-03

Published Print: 2018-03

Authors

Houser, Adam

Ma, Lanssie Mingyue

Feigh, Karen M.

Bolton, Matthew L.
Funding

Funding for this research was provided by:

Ames Research Center (NNX13AB71A)
License Information

Text and Data Mining valid from 2017-10-03

Version of Record valid from 2017-10-03
More Information

Article History

Received: 17 October 2016

Accepted: 7 September 2017

First Online: 3 October 2017

Document is current