449 citations · 914 across the 9 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
stat.ML2020★ 389 cited
COPOD: Copula-Based Outlier Detection
Zheng Li, Yue Zhao, Nicola Botta +2
Outlier detection refers to the identification of rare items that are deviant from the general data distribution. Existing approaches suffer from high computational complexity, low…
cs.LO2020★ 7 cited
On the correctness of monadic backward induction
Nuria Brede, Nicola Botta
In control theory, to solve a finite-horizon sequential decision problem (SDP) commonly means to find a list of decision rules that result in an optimal expected total reward (or c…
cs.LO2020★ 5 cited
Extensional equality preservation and verified generic programming
Nicola Botta, Nuria Brede, Patrik Jansson +1
In verified generic programming, one cannot exploit the structure of concrete data types but has to rely on well chosen sets of specifications or abstract data types (ADTs). Functo…