859 citations
- Centre National de la Recherche ScientifiqueFR16 papers
- Technical University of DenmarkDK15 papers
- University of CopenhagenDK14 papers
- University of ManchesterGB13 papers
- Aarhus UniversityDK11 papers
- Deimos (Spain)ES9 papers
- École Polytechnique Fédérale de LausanneCH9 papers
- University of StuttgartDE9 papers
- IT University of CopenhagenDK8 papers
- Max Planck Institute for Radio AstronomyDE8 papers
- Tokyo Institute of TechnologyJP8 papers
- University of OuluFI8 papers
Showing 2025 · cs.LOShow all
2 papers · 2 filters
cs.LO2025
The Complexity of Generalized HyperLTL with Stuttering and Contexts
Gaëtan Regaud, Martin Zimmermann
We settle the complexity of satisfiability and model-checking for generalized HyperLTL with stuttering and contexts, an expressive logic for the specification of asynchronous hyper…
cs.LO2025★ 1 cited
Uppaal Coshy: Automatic Synthesis of Compact Shields for Hybrid Systems
Asger Horn Brorholt, Andreas Holck Høeg-Petersen, Peter Gjøl Jensen +4
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.…