Search for European Projects

1 European Projects Found

Searched on 125080 European Projects



Start date: Sep 1, 2014, End date: Aug 31, 2016,

Verification is an important technique to ensure quality of a system and detect scenarios in which requirements can be violated. For complex systems with multiple interacting components, one of the crucial requirements is a component's ability to achieve a given goal. However, verification of strategic abilities is computationally hard, and the existing model checking algorithms cope with it only ...
Read Project