LIPIcs, Volume 380, LICS 2026, Complete Volume

DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

Abstract

LIPIcs, Volume 380, LICS 2026, Complete Volume

Authors 2

1. Claudia Faggian

   Centre National de la Recherche Scientifique · Université Paris Cité · Institut de Recherche en Informatique Fondamentale

   Affiliation as printed

   IRIF, CNRS, Université Paris Cité, France

2. Joost-Pieter Katoen Aachen

   RWTH Aachen University · University of Twente

   Affiliation as printed

   RWTH Aachen University, Germany

   University of Twente, the Netherlands