Skip to content

MagnusOffermanns/Verification-and-Validation-for-Artificial-Intelligence-and-Cybersecurity-Udine-SS22

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

12 Commits
Exercises
Exercises
 
 
Files
Files
 
 
Lemmas and Corollaries and Theorems
Lemmas and Corollaries and Theorems
 
 
Paper
Paper
 
 
Vocabulary
Vocabulary
 
 
files
files
 
 
.gitignore
.gitignore
 
 
Exam topics.md
Exam topics.md
 
 
Learning Automata.md
Learning Automata.md
 
 
Questions.md
Questions.md
 
 
README.md
README.md
 
 
Summary for learning.md
Summary for learning.md
 
 
Verification 1.md
Verification 1.md
 
 
Verification 10.md
Verification 10.md
 
 
Verification 11.md
Verification 11.md
 
 
Verification 12.md
Verification 12.md
 
 
Verification 13.md
Verification 13.md
 
 
Verification 14.md
Verification 14.md
 
 
Verification 15.md
Verification 15.md
 
 
Verification 16.md
Verification 16.md
 
 
Verification 17.md
Verification 17.md
 
 
Verification 18.md
Verification 18.md
 
 
Verification 19.md
Verification 19.md
 
 
Verification 2.md
Verification 2.md
 
 
Verification 20.md
Verification 20.md
 
 
Verification 21.md
Verification 21.md
 
 
Verification 22.md
Verification 22.md
 
 
Verification 23.md
Verification 23.md
 
 
Verification 24.md
Verification 24.md
 
 
Verification 25.md
Verification 25.md
 
 
Verification 26.md
Verification 26.md
 
 
Verification 27.md
Verification 27.md
 
 
Verification 28.md
Verification 28.md
 
 
Verification 29.md
Verification 29.md
 
 
Verification 3.md
Verification 3.md
 
 
Verification 30.md
Verification 30.md
 
 
Verification 31.md
Verification 31.md
 
 
Verification 32.md
Verification 32.md
 
 
Verification 33.md
Verification 33.md
 
 
Verification 34.md
Verification 34.md
 
 
Verification 35.md
Verification 35.md
 
 
Verification 36.md
Verification 36.md
 
 
Verification 37.md
Verification 37.md
 
 
Verification 4.md
Verification 4.md
 
 
Verification 41.md
Verification 41.md
 
 
Verification 43.md
Verification 43.md
 
 
Verification 46.md
Verification 46.md
 
 
Verification 5.md
Verification 5.md
 
 
Verification 6.md
Verification 6.md
 
 
Verification 7.md
Verification 7.md
 
 
Verification 8.md
Verification 8.md
 
 
Verification 9.md
Verification 9.md
 
 

Repository files navigation

Verification-and-Validation-for-Artificial-Intelligence-and-Cybersecurity-Udine-SS22

This are my notes for Verification and Validation for Ai and cybersecurity prepared in Obsidian md.

To use all advantages install Obsidian md and clone the github repository into the vault. Then you should be able to use all links and the formatting

About

This are my notes for Verification and Validation for Ai and cybersecurity prepared in Obsidian md.

Resources

Readme
Activity

Stars

2 stars

Watchers

1 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published