@inproceedings{vankoevering-2025-weighted,
  doi = {10.4230/LIPICS.ICALP.2025.172},
  url = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ICALP.2025.172},
  author = {Van Koevering, Spencer and Różowski, Wojciech and Silva, Alexandra},
  keywords = {Weighted Programming, Automata, Axiomatization, Decision Procedure, Theory of computation → Models of computation},
  language = {en},
  title = {Weighted GKAT: Completeness and Complexity},
  volume = {334},
  pages = {172:1-172:18},
  publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},
  year = {2025},
  copyright = {Creative Commons Attribution 4.0 International license},
  booktitle = {52nd International Colloquium on Automata, Languages, and Programming (ICALP 2025)}
}