@misc{indiciae3839e0e01e3b,
  title = {RDFdL: Integrating RDF with Differential Dynamic Logic},
  author = {Yuyang Li and Lukas Kubelka and Julia Butte and Tobias Käfer},
  year = {2026},
  url = {https://arxiv.org/abs/2608.18165},
  note = {Source identifier: 2608.18165}
}