Verification and generation of unrefinable partitions.
Riccardo AragonaLorenzo CampioniRoberto CivinoMassimo LauriaPublished in: Inf. Process. Lett. (2023)
Keyphrases
- model checking
- information technology
- formal verification
- combining multiple
- information systems
- database
- evolutionary algorithm
- face verification
- generation process
- real world
- genetic algorithm
- decision trees
- search algorithm
- expert systems
- multiresolution
- face detection
- databases
- data sets
- generation algorithm
- real time