Selma Music's repositories
GLIS
GLIS package
Language:PythonApache-2.0000
jbbmo-Introduction-to-Git-and-GitHub
Introduction to Git and GitHub
Apache-2.0000
Language:ShellApache-2.0000
gkpbt-css-circle
css-circle
Language:HTMLApache-2.0000
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
BSD-3-Clause000
HRI-CoDeOp
Marie Skłodowska-Curie Grant Agreement No. 101025273
000
AA203-Examples
Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
000