×

Found 383 Documents (Results 1–100)

Newest Citations Relevance
Quatmann, Tim; Katoen, Joost-Pieter

Multi-objective optimization of long-run average and total rewards. (English) Zbl 1467.68094

Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 230-249 (2021).
MSC:  68Q60 68Q45 68Q87 90C29 90C40
PDF BibTeX XML Cite
\textit{T. Quatmann} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 12651, 230--249 (2021; Zbl 1467.68094)
Full Text: DOI arXiv
Colapinto, Cinzia; La Torre, Davide; Liuzzi, Danilo; Vié, Aymeric

Toward the realization of the “Europe 2020” agenda for economic growth in the European union: an empirical analysis based on goal programming. (English) Zbl 1466.91186

Dutta, Hemen (ed.), Mathematical modelling in health, social and applied sciences. Singapore: Springer. Forum Interdiscip. Math., 199-239 (2020).
MSC:  91B62 91B76 90C29 90C11
PDF BibTeX XML Cite
\textit{C. Colapinto} et al., in: Mathematical modelling in health, social and applied sciences. Singapore: Springer. 199--239 (2020; Zbl 1466.91186)
Full Text: DOI
Podinovskiĭ, V. V.; Potapov, M. A.

Analysis of the sensitivity of solutions of multicriteria problems based on parametric partial preference relations. (English. Russian original) Zbl 1429.91122

Autom. Remote Control 80, No. 7, 1294-1303 (2019); translation from Avtom. Telemekh. 2019, No. 7, 142-154 (2019).
MSC:  91B06 90C29 90C31
PDF BibTeX XML Cite
\textit{V. V. Podinovskiĭ} and \textit{M. A. Potapov}, Autom. Remote Control 80, No. 7, 1294--1303 (2019; Zbl 1429.91122); translation from Avtom. Telemekh. 2019, No. 7, 142--154 (2019)
Full Text: DOI
Weidner, Petra

Functions with uniform sublevel sets, epigraphs and continuity. (English) Zbl 1430.49015

Khan, Akhtar A. (ed.) et al., Variational analysis and set optimization. Developments and applications in decision making. Boca Raton, FL: CRC Press/Science Publishers. 92-111 (2019).
Reviewer: Ba Khiet Le (Rancagua)
MSC:  49J53 91B06 91B38 90C29 91G80
PDF BibTeX XML Cite
\textit{P. Weidner}, in: Variational analysis and set optimization. Developments and applications in decision making. Boca Raton, FL: CRC Press/Science Publishers. 92--111 (2019; Zbl 1430.49015)
Full Text: DOI
Papathanasiou, Jason; Ploskas, Nikolaos

Multiple criteria decision aid. Methods, examples and Python implementations. (English) Zbl 1408.90151

Springer Optimization and Its Applications 136. Cham: Springer (ISBN 978-3-319-91646-0/hbk; 978-3-319-91648-4 /ebook). xvii, 173 p. (2018).
Reviewer: Efstratios Rappos (Aubonne)
MSC:  90B50 90C29 90-02 90-04 91B06 68N15 90C08
PDF BibTeX XML Cite
\textit{J. Papathanasiou} and \textit{N. Ploskas}, Multiple criteria decision aid. Methods, examples and Python implementations. Cham: Springer (2018; Zbl 1408.90151)
Full Text: DOI
Quatmann, Tim; Junges, Sebastian; Katoen, Joost-Pieter

Markov automata with multiple objectives. (English) Zbl 1494.68146

Majumdar, Rupak (ed.) et al., Computer aided verification. 29th international conference, CAV 2017, Heidelberg, Germany, July 24–28, 2017. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 10426, 140-159 (2017).
MSC:  68Q45 68Q60 68Q87 90C29 90C40
PDF BibTeX XML Cite
\textit{T. Quatmann} et al., Lect. Notes Comput. Sci. 10426, 140--159 (2017; Zbl 1494.68146)
Full Text: DOI arXiv
Alur, Rajeev; Faella, Marco; Kannan, Sampath; Singhania, Nimit

Hedging bets in Markov decision processes. (English) Zbl 1369.90184

Regnier, Laurent (ed.) et al., 25th EACSL annual conference and 30th workshop on computer science logic, CSL’16, Marseille, France, August 29 – September 1, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-022-4). LIPIcs – Leibniz International Proceedings in Informatics 62, Article 29, 20 p. (2016).
MSC:  90C40 68Q25 90C29
PDF BibTeX XML Cite
\textit{R. Alur} et al., LIPIcs -- Leibniz Int. Proc. Inform. 62, Article 29, 20~p. (2016; Zbl 1369.90184)
Full Text: DOI

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software