Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Formal Guarantees of Timely Progress for Distributed Knowledge
  Propagation   Autonomous air traffic management (ATM) operations for urban air mobility
(UAM) will necessitate the use of distributed protocols for decentralized
coordination between aircraft. As UAM operations are time-critical, it will be
imperative to have formal guarantees of progress for the distributed protocols
used in ATM. Under asynchronous settings, message transmission and processing
delays are unbounded, making it impossible to provide deterministic bounds on
the time required to make progress. We present an approach for formally
guaranteeing timely progress in a Two-Phase Acknowledge distributed knowledge
propagation protocol by probabilistically modeling the delays using theories of
the Multicopy Two-Hop Relay protocol and the M/M/1 queue system. The guarantee
states a probabilistic upper bound to the time for progress as a function of
the probabilities of the total transmission and processing delays being less
than two given values. We also showcase the development of a library of formal
theories, that is tailored towards reasoning about timely progress in
distributed protocols deployed in airborne networks, in the Athena proof
assistant.

16
The categories of this paper are: stat
22
The categories of this paper are: chao-dyn
21
The categories of this paper are: adap-org
6
The categories of this paper are: astro-ph
26
The categories of this paper are: bayes-an
23
The categories of this paper are: solv-int
0
The categories of this paper are: hep-ph
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
28
The categories of this paper are: alg-geom
9
The categories of this paper are: nlin
29
The categories of this paper are: funct-an
30
The categories of this paper are: q-alg
8
The categories of this paper are: hep-ex
2
The categories of this paper are: math
35
The categories of this paper are: mtrl-th