449 citations · 914 across the 9 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
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…
cs.LO2016★ 2 cited
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…