adl / pareto-rational-verification Goto Github PK
View Code? Open in Web Editor NEWThis project forked from skar0/pareto-rational-verification
Implementation of verification algorithms for the Pareto-Rational Verification problem (PRV problem).
License: GNU General Public License v3.0