Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Constructive Hybrid Games   Hybrid games are models which combine discrete, continuous, and adversarial
dynamics. Game logic enables proving (classical) existence of winning
strategies. We introduce constructive differential game logic (CdGL) for hybrid
games, where proofs that a player can win the game correspond to computable
winning strategies. This is the logical foundation for synthesis of correct
control and monitoring code for safety-critical cyber-physical systems. Our
contributions include novel static and dynamic semantics as well as soundness
and consistency.

8
The categories of this paper are: hep-ex
24
The categories of this paper are: dg-ga
31
The categories of this paper are: ao-sci
19
The categories of this paper are: eess
7
The categories of this paper are: hep-th
30
The categories of this paper are: q-alg
17
The categories of this paper are: q-fin
16
The categories of this paper are: stat
37
The categories of this paper are: supr-con
21
The categories of this paper are: adap-org
25
The categories of this paper are: patt-sol
20
The categories of this paper are: acc-phys
2
The categories of this paper are: math
11
The categories of this paper are: hep-lat
22
The categories of this paper are: chao-dyn
35
The categories of this paper are: mtrl-th