C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Symbolic Model Checking for Incomplete Designs with Flexible Modeling of Unknowns.
Tobias Nopper
Christoph Scholl
Published in:
IEEE Trans. Computers (2013)
Keyphrases
</>
symbolic model checking
model checking
formal verification
conformant planning
search algorithm
partial observability