The formal verification of safety properties for hybrid systems is an important but challenging problem. Recently, barrier functions have been introduced to prove safety without requiring the ...

Recommendation System has become more customized than ever. However, it suffers from cold start and data sparsity issues. Cross Domain Recommendation (CDR) has been proposed as a promising and ...