Luke Hinde | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Robin Bloomfield
6 publications
Heidy Khlaaf
6 publications
Gareth Fletcher
3 publications
Philippa Ryan
3 publications
Olaf Beyersdorff
3 publications
Joshua Blinkhorn
2 publications

research

∙ 01/29/2021

Safety Case Templates for Autonomous Systems

This report documents safety assurance argument templates to support the...

0 Robin Bloomfield, et al. ∙

research

∙ 12/11/2017

Size, Cost, and Capacity: A Semantic Technique for Hard Random QBFs

As a natural extension of the SAT problem, an array of proof systems for...

0 Olaf Beyersdorff, et al. ∙