Sciweavers

AI
2010
Springer

The computational complexity of avoiding spurious states in state space abstraction

13 years 11 months ago
The computational complexity of avoiding spurious states in state space abstraction
Sandra Zilles, Robert C. Holte
Added 08 Dec 2010
Updated 08 Dec 2010
Type Journal
Year 2010
Where AI
Authors Sandra Zilles, Robert C. Holte
Comments (0)