Agent-based schedule validation and verification.
John BudenskeJim NewhouseJordan BonneyJohn WuPublished in: SMC (2001)
Keyphrases
- scheduling problem
- multi agent systems
- formal verification
- verification method
- multi agent
- model checking
- genetic algorithm
- face verification
- agent based simulations
- database
- high security
- cryptographic protocols
- agent based simulation
- single machine scheduling problem
- formal analysis
- learning capabilities
- scheduling algorithm
- special case
- multiscale
- databases