6 citations · 6 across the 5 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.AI2020
On Sufficient and Necessary Conditions in Bounded CTL: A Forgetting Approach
Renyan Feng, Erman Acar, Stefan Schlobach +2
Computation Tree Logic (CTL) is one of the central formalisms in formal verification. As a specification language, it is used to express a property that the system at hand is expec…
cs.LG2020
Kullback-Leibler Divergence-Based Out-of-Distribution Detection with Flow-Based Generative Models
Yufeng Zhang, Jialu Pan, Wanwei Liu +5
Recent research has revealed that deep generative models including flow-based models and Variational Autoencoders may assign higher likelihoods to out-of-distribution (OOD) data th…