Consistency Checking of Automata Functional Specifications.
Anatoli N. ChebotarevMarina K. MorokhobetsPublished in: LPAR (1993)
Keyphrases
- consistency checking
- stochastic search
- query answering
- finite state machines
- cellular automata
- path consistency
- temporal constraints
- finite state
- mobile robot
- knowledge discovery
- constraint satisfaction problems
- database
- special case
- high level
- finite automata
- case study
- state space
- temporal reasoning
- multi agent systems