2 citations · 3 across the 4 of their papers we have counts for
4 papers
IMITATOR4AMAS: Strategy Synthesis for STCTL
Davide Catta, Adrien Lacroix, Wojciech Penczek +2
IMITATOR4AMAS supports model checking and synthesis of memoryless imperfect information strategies for STCTL, interpreted over networks of parametric timed automata with asynchrono…
Game of grounds
Davide Catta, Antonio Piccolomini d'Aragona
In this paper, we propose to connect Prawitz's theory of grounds with Girard's Ludics. This connection is carried out on two levels. On a more philosophical one, we highlight some…
Canonicity of Proofs in Constructive Modal Logic
Matteo Acclavio, Davide Catta, Federico Olimpieri
In this paper we investigate the Curry-Howard correspondence for constructive modal logic in light of the gap between the proof equivalences enforced by the lambda calculi from the…
Towards a Denotational Semantics for Proofs in Constructive Modal Logic
Matteo Acclavio, Davide Catta, Lutz Straßburger
In this paper we provide two new semantics for proofs in the constructive modal logics CK and CD. The first semantics is given by extending the syntax of combinatorial proofs for p…