Talks

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints

Title: Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints
Speaker(s): Simon Busard
Context: 16th International Conference on Formal Engineering Methods, November 3-7, 2014, Luxembourg
File(s): icfem2014.pdf

Related Publication(s):

Improving the Model Checking of Strategies under Partial Observability and Fairness Constraints. Simon Busard, Charles Pecheur, Hongyang Qu, Franco Raimondi. Formal Methods and Software Engineering.

Tags

Tags: Symbolic Model Checking, Strategies

Find It