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. 2022 September 2017, Rome, Italy
File(s)
GandALF2017-Busard.pdf

Related Publication(s):


Tags Tags: ,
Speakers
Simon Busard
Tags
,