NuSCI Research Group
NuSCI Research Group
People
Projects
Publications
Blogs/Demos
Contact
Light
Dark
Automatic
Vasumathi Raman
Latest
Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae
Safe autonomy under perception uncertainty using chance-constrained temporal logic
Cite
×