research
∙
09/19/2023
Dialogues with algorithms
In this short paper we focus on human in the loop for rule-based softwar...
share
research
∙
07/11/2023
Model-checking in the Foundations of Algorithmic Law and the Case of Regulation 561
We discuss model-checking problems as formal models of algorithmic law. ...
research
∙
09/28/2022
FV Time: a formally verified Coq library
FV Time is a small-scale verification project developed in the Coq proof...
research
∙
04/10/2020
Hidden variables simulating quantum contextuality increasingly violate the Holevo bound
In this paper from 2011 we approach some questions about quantum context...
research
∙
10/06/2018
