Verification and validation meet planning and scheduling.
Saddek BensalemKlaus HavelundAndrea OrlandiniPublished in: Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
- grid workflow
- scheduling problem
- production planning
- planning problems
- scheduling algorithm
- round robin
- heuristic search
- database
- domain specific
- resource allocation
- model checking
- resource constraints
- wafer fabrication
- concurrent systems
- verification method
- preventive maintenance
- blocks world
- mixed initiative
- plan recognition
- reinforcement learning