Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz

Klaus Mainzer

doi:10.18420/inf2020_63

Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz

TUM Emeriti of Excellence

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

Titel in Übersetzung	How safe is AI?: Fundamentals and verification of artificial intelligence
Originalsprache	Deutsch
Titel	50. Jahrestagung der Gesellschaft fur Informatik
Untertitel	Back to the Futures, INFORMATIK 2020
Redakteure/-innen	Ralf H. Reussner, Anne Koziolek, Robert Heinrich
Herausgeber (Verlag)	Gesellschaft fur Informatik (GI)
Seiten	695-718
Seitenumfang	24
ISBN (elektronisch)	9783885797012
DOIs	https://doi.org/10.18420/inf2020_63
Publikationsstatus	Veröffentlicht - 2020
Veranstaltung	50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020 - Karlsruhe, Deutschland Dauer: 28 Sept. 2020 → 2 Okt. 2020

Publikationsreihe

Name	Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)
Band	P-307
ISSN (Print)	1617-5468
ISSN (elektronisch)	2944-7682

Konferenz

Konferenz	50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020
Land/Gebiet	Deutschland
Ort	Karlsruhe
Zeitraum	28/09/20 → 2/10/20

Zugriff auf Dokument

10.18420/inf2020_63

Andere Dateien und Links

Verknüpfung zur Publikation in Scopus

Dieses zitieren

Mainzer, K. (2020). Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz. in R. H. Reussner, A. Koziolek, & R. Heinrich (Hrsg.), 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020 (S. 695-718). (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-307). Gesellschaft fur Informatik (GI). https://doi.org/10.18420/inf2020_63

Mainzer, Klaus. / Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz. 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Hrsg. / Ralf H. Reussner ; Anne Koziolek ; Robert Heinrich. Gesellschaft fur Informatik (GI), 2020. S. 695-718 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)).

@inproceedings{cd00a8a4de054a4eb2148add1f410929,

title = "Wie sicher ist KI? Grundlagen und Verifikation von K{\"u}nstlicher Intelligenz",

author = "Klaus Mainzer",

year = "2020",

doi = "10.18420/inf2020_63",

language = "Deutsch",

series = "Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)",

publisher = "Gesellschaft fur Informatik (GI)",

pages = "695--718",

editor = "Reussner, {Ralf H.} and Anne Koziolek and Robert Heinrich",

booktitle = "50. Jahrestagung der Gesellschaft fur Informatik",

note = "50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020 ; Conference date: 28-09-2020 Through 02-10-2020",

}

Mainzer, K 2020, Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz. in RH Reussner, A Koziolek & R Heinrich (Hrsg.), 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), Bd. P-307, Gesellschaft fur Informatik (GI), S. 695-718, 50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020, Karlsruhe, Deutschland, 28/09/20. https://doi.org/10.18420/inf2020_63

Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz. / Mainzer, Klaus.
50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Hrsg. / Ralf H. Reussner; Anne Koziolek; Robert Heinrich. Gesellschaft fur Informatik (GI), 2020. S. 695-718 (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI); Band P-307).

Publikation: Beitrag in Buch/Bericht/Konferenzband › Konferenzbeitrag › Begutachtung

TY - GEN

T1 - Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz

AU - Mainzer, Klaus

PY - 2020

Y1 - 2020

UR - http://www.scopus.com/inward/record.url?scp=85127344870&partnerID=8YFLogxK

U2 - 10.18420/inf2020_63

DO - 10.18420/inf2020_63

M3 - Konferenzbeitrag

AN - SCOPUS:85127344870

T3 - Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)

SP - 695

EP - 718

BT - 50. Jahrestagung der Gesellschaft fur Informatik

A2 - Reussner, Ralf H.

A2 - Koziolek, Anne

A2 - Heinrich, Robert

PB - Gesellschaft fur Informatik (GI)

T2 - 50. Jahrestagung der Gesellschaft fur Informatik, INFORMATIK 2020 - 50th Annual Conference of the German Informatics Society, INFORMATIK 2020

Y2 - 28 September 2020 through 2 October 2020

ER -

Mainzer K. Wie sicher ist KI? Grundlagen und Verifikation von Künstlicher Intelligenz. in Reussner RH, Koziolek A, Heinrich R, Hrsg., 50. Jahrestagung der Gesellschaft fur Informatik: Back to the Futures, INFORMATIK 2020. Gesellschaft fur Informatik (GI). 2020. S. 695-718. (Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI)). doi: 10.18420/inf2020_63