Open fare opened 5 years ago
The current fair_for_player predicates in rps.ala should be better explained and/or replaced by better predicates that are better explained. If possible, more of them should be extracted as game-theoretic safety properties.
fair_for_player
The current
fair_for_playerpredicates in rps.ala should be better explained and/or replaced by better predicates that are better explained. If possible, more of them should be extracted as game-theoretic safety properties.