Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving.
Omer Nguena-TimoAlexandre PetrenkoS. RameshPublished in: ICTAC (2018)
Keyphrases
- input output
- constraint solving
- state transition
- constraint propagation
- constraint logic programming
- constraint solver
- constraint satisfaction problems
- finite domain
- finite state machines
- constraint programming
- constraint satisfaction
- noise cancellation
- internal states
- fuzzy neural network
- fuzzy model
- fuzzy inference system
- fuzzy controller
- data envelopment analysis
- artificial neural networks
- qualitative and quantitative
- np hard
- relational databases
- database systems
- neural network