Pareto-Rational Verification.
Véronique BruyèreJean-François RaskinClément TaminesPublished in: CONCUR (2022)
Keyphrases
- multi objective
- model checking
- decision making
- multi objective optimization
- multiobjective optimization
- incentive compatible
- genetic algorithm
- test generation
- signature verification
- face verification
- data sets
- formal methods
- incentive compatibility
- database
- temporal logic
- multiscale
- computer vision
- databases
- real time