Towards Probabilistic Formal Analysis of SATS-Simultaneously Moving Aircraft (SATS-SMA)
Sign Up to like & getrecommendations! Published in 2017 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-017-9416-6
Abstract: The objective of NASA’s Small Aircraft Transportation System (SATS) Concept of Operations (ConOps) is to facilitate high volume operation of advanced small aircraft operating in non-towered, non-radar airports. This system can provide improved and accessible… read more here.
Keywords: aircraft; towards probabilistic; moving aircraft; analysis ... See more keywords