449 citations · 914 across the 9 of their papers we have counts for
9 papers
Optimization under uncertainty: understanding orders and testing programs with specifications
Patrik Jansson, Nicola Botta, Tim Richter
One of the most ubiquitous problems in optimization is that of finding all the elements of a finite set at which a function attains its minimum (or maximum). When the codomain…
Lost options commitment: how short-term policies affect long-term scope of action
Marina Martinez Montero, Nuria Brede, Victor Couplet +3
We propose to explore the sustainability of climate policies based on a novel commitment metric. This metric allows to quantify how future generations' scope of action is affected…
Types, equations, dimensions and the Pi theorem
Nicola Botta, Patrik Jansson
The languages of mathematical physics and modelling are endowed with a rich ``grammar of dimensions'' that common abstractions of programming languages fail to represent. We propos…
Perspectives on adaptive dynamical systems
Jakub Sawicki, Rico Berner, Sarah A. M. Loos +21
Adaptivity is a dynamical feature that is omnipresent in nature, socio-economics, and technology. For example, adaptive couplings appear in various real-world systems like the powe…
ECOD: Unsupervised Outlier Detection Using Empirical Cumulative Distribution Functions
Zheng Li, Yue Zhao, Xiyang Hu +3
Outlier detection refers to the identification of data points that deviate from a general data distribution. Existing unsupervised approaches often suffer from high computational c…
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…
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…
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…
Sequential decision problems, dependent types and generic solutions
Nicola Botta, Patrik Jansson, Cezar Ionescu +2
We present a computer-checked generic implementation for solving finite-horizon sequential decision problems. This is a wide class of problems, including inter-temporal optimizatio…