Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Online Synthesis for Runtime Enforcement of Safety in Multi-Agent
  Systems   A shield is attached to a system to guarantee safety by correcting the
system's behavior at runtime. Existing methods that employ design-time
synthesis of shields do not scale to multi-agent systems. Moreover, such
shields are typically implemented in a centralized manner, requiring global
information on the state of all agents in the system. We address these
limitations through a new approach where the shields are synthesized at runtime
and do not require global information. There is a shield onboard every agent,
which can only modify the behavior of the corresponding agent. In this
approach, which is fundamentally decentralized, the shield on every agent has
two components: a pathfinder that corrects the behavior of the agent and an
ordering mechanism that dynamically modifies the priority of the agent. The
current priority determines if the shield uses the pathfinder to modify
behavior of the agent. We derive an upper bound on the maximum deviation for
any agent from its original behavior. We prove that the worst-case synthesis
time is quadratic in the number of agents at runtime as opposed to exponential
at design-time for existing methods. We test the performance of the
decentralized, runtime shield synthesis approach on a collision-avoidance
problem. For 50 agents in a 50x50 grid, the synthesis at runtime requires a few
seconds per agent whenever a potential collision is detected. In contrast, the
centralized design-time synthesis of shields for a similar setting is
intractable beyond 4 agents in a 5x5 grid.

16
The categories of this paper are: stat
17
The categories of this paper are: q-fin
26
The categories of this paper are: bayes-an
22
The categories of this paper are: chao-dyn
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
11
The categories of this paper are: hep-lat
4
The categories of this paper are: cond-mat
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
35
The categories of this paper are: mtrl-th
0
The categories of this paper are: hep-ph
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
29
The categories of this paper are: funct-an
7
The categories of this paper are: hep-th