From the 1 of 4 linked papers with an AI index.
4 papers
RDFdL: Integrating RDF with Differential Dynamic Logic
Yuyang Li, Lukas Kubelka, Julia Butte +1
Knowledge graphs modeled in RDF are powerful for describing static knowledge, but they cannot capture or reason about the dynamic behavior of physical systems, e.g., systems descri…
Virtual Process Dossier: A Process-Aware Data Catalogue
Lukas Kubelka, Alexander Bott, Frank Döhner +6
The paper introduces the Virtual Process Dossier (VPD), a knowledge‑graph based data catalogue that records workflow provenance for multi‑stage manufacturing, enabling FAIR data ac…
Three-player Differential Game Logic
Julia Butte, André Platzer
This paper introduces the three-player differential game logic dGL3, which enables the verification of hybrid games of discrete and differential equation dynamics with three player…
Semi-Competitive Differential Game Logic
Julia Butte, André Platzer
This paper introduces semi-competitive differential game logic dGLsc, which enables verification of safety-critical applications that involve interactions between two agents. In dG…