@techreport{Voelker23,
  author      = {Marcus V{\"o}lker},
  title       = {{P}olicy {I}teration for {V}alue {S}et {A}nalysis of {PLC} {P}rograms},
  institution = {RWTH Aachen University},
  keywords    = {programmable logic controller, program analysis, value set analysis, policy iteration},
  year        = {2023},
  number      = {AIB-2023-01},
  month       = apr,
  url         = {https://publications.rwth-aachen.de/record/956653/files/956653.pdf},
  doi         = {10.18154/RWTH-2023-04281}
}