Sciweavers

54
Voted
FMCAD
2009
Springer

Safety first: A two-stage algorithm for LTL games

15 years 3 months ago
Safety first: A two-stage algorithm for LTL games
Saqib Sohail, Fabio Somenzi
Added 26 May 2010
Updated 26 May 2010
Type Conference
Year 2009
Where FMCAD
Authors Saqib Sohail, Fabio Somenzi
Comments (0)