TY  - RPRT
TI  - RDFdL: Integrating RDF with Differential Dynamic Logic
AU  - Yuyang Li
AU  - Lukas Kubelka
AU  - Julia Butte
AU  - Tobias Käfer
PY  - 2026
UR  - https://arxiv.org/abs/2608.18165
ID  - 2608.18165
ER  -