- Standort
-
Hannover TIB
- Umfang
-
314MB, 00:16:37:11 (unknown)
- Sprache
-
Englisch
- Anmerkungen
-
Audiovisuelles Material
- Erschienen in
-
26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2020 ; (Jan. 2021)
- Schlagwort
-
Multi-objective optimization
Probabilistic Systems
Markov Decision Processes
Strategy Synthesis
- Ereignis
-
Veröffentlichung
- (wer)
-
European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
- (wann)
-
2021-01-01
- Beteiligte Personen und Organisationen
-
Quatmann, Tim
Katoen, Joost-Pieter
Delgrange, Florent
Randour, Mickael
- DOI
-
10.5446/55030
- Letzte Aktualisierung
-
04.12.2024, 08:09 MEZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Technische Informationsbibliothek (TIB). Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- zweidimensionales bewegtes Bild
Beteiligte
- Quatmann, Tim
- Katoen, Joost-Pieter
- Delgrange, Florent
- Randour, Mickael
- European Joint Conferences on Theory and Practice of Software - ETAPS - e. V.
Entstanden
- 2021-01-01
Ähnliche Objekte (12)
Simple Strategies in Multi-Objective MDPs
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Compositional Multi-objective Parameter Tuning
Prioritized Multi-Objective Robot Control
Robustness Measures and Optimization Strategies for Multi-Objective Robust Design
Optimization of water resources systems using multi-objective evolution strategies
Multi-objective optimization shapes ecological variation
Multi-objective optimization shapes ecological variation
Verification of multi-objective Markov models
Sequential multi-objective target value optimization
Simple Strategies in Multi-Objective MDPs
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Compositional Multi-objective Parameter Tuning
Prioritized Multi-Objective Robot Control
Robustness Measures and Optimization Strategies for Multi-Objective Robust Design
Optimization of water resources systems using multi-objective evolution strategies
Multi-objective optimization shapes ecological variation
Multi-objective optimization shapes ecological variation
Verification of multi-objective Markov models
Sequential multi-objective target value optimization
Simple Strategies in Multi-Objective MDPs
Multi-objective evolutionary search strategies in constraint programming
Runtime analysis of a simple multi-objective evolutionary algorithm
Multi-objective memetic algorithms
Compositional Multi-objective Parameter Tuning
Prioritized Multi-Objective Robot Control
Robustness Measures and Optimization Strategies for Multi-Objective Robust Design
Optimization of water resources systems using multi-objective evolution strategies
Multi-objective optimization shapes ecological variation
Multi-objective optimization shapes ecological variation
Verification of multi-objective Markov models