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 2023 · cs.LOShow all

5 papers · 2 filters

cs.LO2023

The Complexity of Second-order HyperLTL

Hadar Frenkel, Gaëtan Regaud, Martin Zimmermann

We determine the complexity of second-order HyperLTL satisfiability, finite-state satisfiability, and model-checking: All three are equivalent to truth in third-order arithmetic. W…

cs.LO2023

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics

Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen +5

We present CGAAL, our efficient on-the-fly model checker for alternating-time temporal logic (ATL) on concurrent game structures (CGS). We present how our tool encodes ATL as exten…

cs.LO2023★ 10 cited

Shielded Reinforcement Learning for Hybrid Systems

Asger Horn Brorholt, Peter Gjøl Jensen, Kim Guldstrand Larsen +2

Safe and optimal controller synthesis for switched-controlled hybrid systems, which combine differential equations and discrete changes of the system's state, is known to be intric…

cs.LO2023★ 3 cited

HyperLTL Satisfiability Is Highly Undecidable, HyperCTL is Even Harder

Marie Fortin, Louwe B. Kuijer, Patrick Totzke +1

Temporal logics for the specification of information-flow properties are able to express relations between multiple executions of a system. The two most important such logics are H…

cs.LO2023★ 3 cited

Propositional Logics for the Lawvere Quantale

Giorgio Bacci, Radu Mardare, Prakash Panangaden +1

Lawvere showed that generalised metric spaces are categories enriched over , the quantale of the positive extended reals. The statement of enrichment is a quantitative…