output
19992026
most citedSecondary Frequency and Voltage Control of Islanded Microgrids via Distributed Averaging

976 citations

researchers with a paper here

Counting papers with at most 25 authors, so collaboration author lists do not stand in for the people here.

collaborating institutions
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.…