TY  - RPRT
TI  - Multi-weighted Reachability Games and Their Application to Permissiveness
AU  - Thomas Brihaye
AU  - Aline Goeminne
PY  - 2025
UR  - https://arxiv.org/abs/2308.09625
ID  - 2308.09625
ER  -