Search Results for author:
Found 2 papers, 0 papers with code
Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks
To the best of our knowledge, this is the first work that designs verified temporal compositions of NN controllers for unknown and stochastic systems.
Non-Parametric Bayesian Dictionary Learning for Sparse Image Representations
The beta process is employed as a prior for learning the dictionary, and this non-parametric method naturally infers an appropriate dictionary size.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
