Abstract: This paper presents a multi-objective optimization approach using Genetic Algorithms (GAs) to address the Airport Check-In Counter Allocation problem. A hybrid model balancing operational ...
Abstract: Model checking is an automated method used to formally verify systems by checking them against properties. However, a major problem in model checking is the state explosion. To overcome this ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results