TY  - RPRT
TI  - Pareto-Rational Verification
AU  - Véronique Bruyère
AU  - Jean-François Raskin
AU  - Clément Tamines
PY  - 2022
UR  - https://arxiv.org/abs/2202.13485
ID  - 2202.13485
ER  -