Iman Shames (1) ((1) Australian National University

Identifiers

• name variant Iman Shames (1) ((1) Australian National University 0.60 · backfill

Papers (1)

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

Mentions

• 2008.12515 #3 · arxiv_oai · confidence 0.70 Iman Shames (1) ((1) Australian National University

Frequent Coauthors

• (2) Defence Science 1 shared papers
• Australia) 1 shared papers
• Mohammad Zamani (2) 1 shared papers
• Oliver Biggar (1) 1 shared papers
• Technology Group 1 shared papers