Talks

Backward Model Checking of Uniform Strategies

Title: Backward Model Checking of Uniform Strategies
Speaker(s): Simon Busard
Context: 8th International Symposium on Games, Automata, Logics, and Formal Verification. 20–22 September 2017, Rome, Italy
File(s): GandALF2017-Busard.pdf

Related Publication(s):

A Backward-traversal-based Approach for Symbolic Model Checking of Uniform Strategies for Constrained Reachability. Simon Busard, Charles Pecheur. Proceedings Eighth International Symposium on Games, Automata, Logics and Formal Verification, Roma, Italy, 20-22 September 2017.

Tags

Tags: Symbolic Model Checking, Strategies

Find It