Closed

can a programmer very urgent help me for"Algorithms for Model Checking " in C++ ?

Observe that in the small progress measures algorithm the choice of the next vertex that is considered for lifting is non-deterministic. For this assignment you must consider a number of dierentlifting strategies and implement these. 1. Implement the small progress measures algorithm for solving parity games. Ensure that your implementation: (a) can read parity games in the PGSolver format;1 (b) treats the parity games as min parity games, i.e. implements the small progress measures algorithm as described in the lecture (note: all tools in the PGSolver toolkit generate and use max-parity games, whereas you are required to use and solve min-parity games). (c) implements at least the following two lifting strategies: Input order lift the vertices in the parity game in the order they appear in the input (vertices are represented by numbers in the PGSolver format); i.e. if the input contains vertices 0; : : : ; 10, start with lifting 0, then 1, up to 10, then restart at 0 again, until the measures stabilise. Random order lift the vertices in the parity game in randomised order, i.e. x a ran- dom order before starting starting your algorithm, and than iteratively lift vertices in this order, until the measures stabilise. Include the code of the algorithms in an appendix (le reading and other auxiliaries may be omitted from the appendix), and include all relevant source les when you send in your report. Make sure your code compiles/can be executed on Linux or Mac OS X (e.g. include .jar les for Java).

Skills: C++ Programming

See more: vertex max, use of algorithms in programming, use of algorithms, use of algorithm in programming, the algorithms, starting game programming, solving algorithms, solving algorithm, solve algorithms, programming with algorithms, programming on a mac, programming model, programming java on mac, programming help games, programming games in java, programming games in c++, programming and algorithms, programmer games, os x programming, number algorithms, non deterministic algorithm, non deterministic, max vertex, mac programmer tools, mac os x programming

About the Employer:
( 0 reviews ) Belgium

Project ID: #10115651

2 freelancers are bidding on average $178 for this job

szymszteinsl

Hi! I am professional C/C++/C#/Java programmer. I can do this project with highest quality! Best Regards, Szymszteinsl

$200 USD in 4 days
(54 Reviews)
6.5
andreygrodzovsky

Professional Linux developer - check my LinedIn (look for Andrey Grodzovsky). ________________________________________________________________

$155 USD in 4 days
(2 Reviews)
1.8