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
We propose the Virtual Process Dossier (VPD), a Knowledge Graph-based data catalogue that also captures workflow provenance. We developed VPD for multi-stage manufacturing use-case…
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…