Rob Stewart
Identifiers
No identifiers captured yet.
Papers (2)
- Neural Network Verification for the Masses (of AI graduates) cs.AI · 2019 · author #2
- Replicable Parallel Branch and Bound Search cs.DC · 2017 · author #4
Mentions
No mention provenance yet.
Frequent Coauthors
- Blair Archibald 1 shared papers
- Ciaran McCreesh 1 shared papers
- Daniel Kienitz 1 shared papers
- Ekaterina Komendantskaya 1 shared papers
- Kirsy Duncan 1 shared papers
- Pascal Bacchus 1 shared papers
- Patrick Maier 1 shared papers
- Phil Trinder 1 shared papers
- Pierre Le Hen 1 shared papers