selmamusic

Pinned Repositories

AA203-Examples
Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
Language:Jupyter Notebook00
github-final-project
Language:Shell00
gkpbt-css-circle
css-circle
Language:HTML00
GLIS
GLIS package
Language:Python00
HRI-CoDeOp
Marie Skłodowska-Curie Grant Agreement No. 101025273
0 1 00
jbbmo-Introduction-to-Git-and-GitHub
Introduction to Git and GitHub
Language:Python00
selmamusic.github.io
10
VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Language:Python00

selmamusic's Repositories

selmamusic/selmamusic.github.io
10
selmamusic/AA203-Examples
Examples shown in class and recitation from AA203: Optimal and Learning-Based Control.
Language:Jupyter Notebook00
selmamusic/github-final-project
Language:Shell00
selmamusic/gkpbt-css-circle
css-circle
Language:HTML00
selmamusic/GLIS
GLIS package
Language:Python00
selmamusic/HRI-CoDeOp
Marie Skłodowska-Curie Grant Agreement No. 101025273
0 1 00
selmamusic/jbbmo-Introduction-to-Git-and-GitHub
Introduction to Git and GitHub
Language:Python00
selmamusic/VerifAI
VerifAI is a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Language:Python00