(2) Defence Science

Identifiers

• name variant (2) Defence Science 0.60 · backfill

Papers (1)

1. On modularity in reactive control architectures, with an application to formal verification cs.AI · 2020 · author #4

Mentions

• 2008.12515 #4 · arxiv_oai · confidence 0.70 (2) Defence Science

Frequent Coauthors

• Australia) 1 shared papers
• Iman Shames (1) ((1) Australian National University 1 shared papers
• Mohammad Zamani (2) 1 shared papers
• Oliver Biggar (1) 1 shared papers
• Technology Group 1 shared papers