Iman Shames (1) ((1) Australian National University
Identifiers
- name variant Iman Shames (1) ((1) Australian National University 0.60 · backfill
Papers (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