12 citations
- City, University of LondonGB5 papers
- SRI InternationalUS3 papers
- Kanagawa UniversityJP2 papers
- Nagoya UniversityJP2 papers
- City St George's, University of LondonGB1 paper
- Honeywell (United States)US1 paper
- Imperial College LondonGB1 paper
- Menlo SchoolUS1 paper
- The University of Texas at DallasUS1 paper
- Universidad Rey Juan CarlosES1 paper
- University of North Texas at DallasUS1 paper
Showing 2020 · cs.SEShow all
3 papers · 2 filters
cs.SE2020★ 4 cited
Assurance 2.0: A Manifesto
Robin Bloomfield, John Rushby
System assurance is confronted by significant challenges. Some of these are new, for example, autonomous systems with major functions driven by machine learning and AI, and ultra-r…
cs.SE2020
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…
cs.SE2020★ 2 cited
Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf +8
This report provides an introduction and overview of the Technical Topic Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS…