The computational complexity of scenario-based agent verification and design.
Yves BontempsPierre-Yves SchobbensPublished in: J. Appl. Log. (2007)
Keyphrases
- computational complexity
- functional verification
- agent oriented
- np hard
- computer aided
- building blocks
- design methodology
- design decisions
- design principles
- software agents
- model checking
- dynamic environments
- computational cost
- special case
- genetic algorithm
- computationally efficient
- data sets
- autonomous agents
- distributed systems
- memory requirements
- cooperative
- case study
- multiple agents
- neural network