Andrew Ireland | DeepAI

DeepAI

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

Featured Co-authors

Subramanian Ramamoorthy
77 publications
Craig Innes
12 publications
Alison Pease
6 publications
Maria Teresa Llano
4 publications
Yuhui Lin
3 publications

research

∙ 06/07/2023

Anticipating Accidents through Reasoned Simulation

A key goal of the System-Theoretic Process Analysis (STPA) hazard analys...

0 Craig Innes, et al. ∙

research

∙ 06/21/2011

Discovery of Invariants through Automated Theory Formation

Refinement is a powerful mechanism for mastering the complexities that a...

0 Maria Teresa Llano, et al. ∙