https://mcrl2.org/web/doxygen/classmcrl2_1_1pbes__system_1_1pbesinst__counter__example__structure__graph__algorithm.html
mCRL2: mcrl2::pbes_system::pbesinst_counter_example_structure_graph_algorithm Class Reference
counter examplegraph algorithmsystemstructureclass
https://www.mpi-inf.mpg.de/index.php?eID=tx_cms_showpic&file=1939&md5=4d792375161f5d037410d1e9befcecbcb958d088¶meters%5B0%5D=eyJ3aWR0aCI6IjgwMG0iLCJoZWlnaHQiOiI2MDBtIiwiYm9keVRhZyI6Ijxib2R5¶meters%5B1%5D=IHN0eWxlPVwibWFyZ2luOjA7IGJhY2tncm91bmQ6I2ZmZjtcIj4iLCJ3cmFwIjoi¶meters%5B2%5D=PGEgaHJlZj1cImphdmFzY3JpcHQ6Y2xvc2UoKTtcIj4gfCA8XC9hPiJ9
SVM+ and Weighted SVM Counter-Example
counter examplesvmweighted