Multi-Objective Decision Making System Based on Spatial -Temporal Logics.
Victor AbabiiViorica SudacevschiAna TurcanRadu MelnicViorel CarbuneIrina CojuhariPublished in: CSCS (2023)
Keyphrases
- temporal logic
- multi objective
- decision making
- temporal resolution
- model checking
- mazurkiewicz traces
- multi objective optimization
- modal logic
- satisfiability problem
- evolutionary algorithm
- optimization algorithm
- concurrent systems
- multiple objectives
- particle swarm optimization
- objective function
- spatial data
- decision makers
- spatial information
- predicate logic
- multi criteria
- genetic algorithm
- linear temporal logic
- belief revision
- verification method
- nsga ii
- temporal knowledge
- reactive systems
- multi objective optimization problems
- image sequences
- transition systems
- neural network