scholarly journals Trace Spaces: An Efficient New Technique for State-Space Reduction

2012 ◽  
pp. 274-294 ◽  
Author(s):  
Lisbeth Fajstrup ◽  
Éric Goubault ◽  
Emmanuel Haucourt ◽  
Samuel Mimram ◽  
Martin Raussen
Keyword(s):  
State Space ◽  
New Technique ◽  
Space Reduction ◽  
Trace Spaces ◽  
State Space Reduction

scholarly journals Iterative state-space reduction for flexible computation

2001 ◽  
Vol 126 (1-2) ◽  
pp. 109-138 ◽  
Author(s):  
Weixiong Zhang
Keyword(s):  
State Space ◽  
Space Reduction ◽  
State Space Reduction

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

2005 ◽  
Vol 34 (5) ◽  
pp. 1159-1175 ◽  
Author(s):  
Kousha Etessami ◽  
Thomas Wilke ◽  
Rebecca A. Schuller
Keyword(s):  
State Space ◽  
Space Reduction ◽  
Büchi Automata ◽  
Parity Games ◽  
Simulation Relations ◽  
Buchi Automata ◽  
State Space Reduction
Sign in / Sign up

Export Citation Format

Share Document