61 citations · 74 across the 4 of their papers we have counts for
5 papers
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…
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…
On the logical structure of choice and bar induction principles
Nuria Brede, Hugo Herbelin
We develop an approach to choice principles and their contrapositive bar-induction principles as extensionality schemes connecting an ''intensional'' or ''effective'' view of respe…
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…