Verifiable artificial intelligence. A case study in emergency hospital patients risk assessment

Dissertação de Mestrado em Engenharia Informática apresentada à Faculdade de Ciências e Tecnologia

Detalhes bibliográficos
Autor principal: Martins, João Pedro Damas (author)
Formato: masterThesis
Idioma:eng
Publicado em: 2020
Assuntos:
Sistemas críticos
Verificação
Métodos formais
IA Verificável
IA Confiável
Critical systems
Verification
Formal methods
Verifiable AI
Trustworthy AI
Texto completo:http://hdl.handle.net/10316/92591
País:Portugal
Oai:oai:estudogeral.sib.uc.pt:10316/92591

Texto Completo

http://hdl.handle.net/10316/92591

Registros relacionados