Sort by
Refine Your Search
-
challenging different quantitative decision-making problems, such as assignment of carers to clients to match the skills of carers with clients’ needs, carers' routing to determine the order of visits
Searches related to model checking
Enter an email to receive alerts for model-checking positions