Optimistic synchronization-based state-space reduction.

Scott D. Stoller Ernie Cohen

Published in: Formal Methods Syst. Des. (2006)

Keyphrases

space reduction
state space
database
information retrieval
information systems
object recognition
mobile robot
state variables