3 papers
cs.SE2026
How to Value Open Source Contributions? An Institutional Perspective from CERN
Julie Skoven Hinge, Micha Moskovic, Axel Naumann +2
We present a methodology to systematically assess the scale and impact of an organization's contributions to open source software (OSS). The methodology combines the archival data…
cs.RO2025
Behavior Trees and State Machines in Robotics Applications
Razan Ghzouli, Thorsten Berger, Einar Broch Johnsen +2
Autonomous robots combine skills to form increasingly complex behaviors, called missions. While skills are often programmed at a relatively low abstraction level, their coordinatio…
cs.LO2025
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Andreas Holck Høeg-Petersen +8
We present Uppaal Coshy, a tool for automatic synthesis of a safety strategy -- or shield -- for Markov decision processes over continuous state spaces and complex hybrid dynamics.…