- Location
-
Hannover TIB
- Extent
-
314MB, 00:16:37:11 (unknown)
- Language
-
Englisch
- Notes
-
Audiovisuelles Material
- Bibliographic citation
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Keyword
-
Multi-objective optimization
Probabilistic Systems
Markov Decision Processes
Strategy Synthesis
- Event
-
Veröffentlichung
- (who)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (when)
-
2021-01-01
- Contributor
-
Quatmann, Tim
Katoen, Joost-Pieter
Delgrange, Florent
Randour, Mickael
- DOI
-
10.5446/55030
- Last update
-
04.12.2024, 8:09 AM CET
Data provider
This object is provided by:
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Technische Informationsbibliothek (TIB). If you have any questions about the object, please contact the data provider.
Object type
- zweidimensionales bewegtes Bild
Associated
- Quatmann, Tim
- Katoen, Joost-Pieter
- Delgrange, Florent
- Randour, Mickael
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Time of origin
- 2021-01-01
Other Objects (12)
Simple Strategies in Multi-Objective MDPs
Multi-objective conditioning of a simple SVAT model
Multi-objective multi-criteria evolutionary algorithm for multi-objective multi-task optimization
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Multi-objective Variational Curves
Multi-objective generalized normal distribution optimization: a novel algorithm for multi-objective problems
MOIMPA: multi-objective improved marine predators algorithm for solving multi-objective optimization problems
Prioritized Multi-Objective Robot Control
Multi-objective chaos game optimization
Compositional Multi-objective Parameter Tuning
Simple Strategies in Multi-Objective MDPs
Multi-objective conditioning of a simple SVAT model
Multi-objective multi-criteria evolutionary algorithm for multi-objective multi-task optimization
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Multi-objective Variational Curves
Multi-objective generalized normal distribution optimization: a novel algorithm for multi-objective problems
MOIMPA: multi-objective improved marine predators algorithm for solving multi-objective optimization problems
Prioritized Multi-Objective Robot Control
Multi-objective chaos game optimization
Compositional Multi-objective Parameter Tuning
Simple Strategies in Multi-Objective MDPs
Multi-objective conditioning of a simple SVAT model
Multi-objective multi-criteria evolutionary algorithm for multi-objective multi-task optimization
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Multi-objective Variational Curves
Multi-objective generalized normal distribution optimization: a novel algorithm for multi-objective problems
MOIMPA: multi-objective improved marine predators algorithm for solving multi-objective optimization problems
Prioritized Multi-Objective Robot Control
Multi-objective chaos game optimization