Search CORE

4 research outputs found

A Modest Markov Automata Tutorial

Author: A Fehnker
A Hartmanns
A Hartmanns
A Hartmanns
A Legay
B Braitling
Bettina Braitling
BR Haverkort
C Baier
C Baier
C Dehnert
C Eisentraut
C Eisentraut
C Eisentraut
CAR Hoare
CE Budde
CE Budde
D Guck
D Guck
EG Amparore
EM Hahn
G Bolch
H Garavel
H Hatefi
HC Bohnenkamp
Holger Hermanns
JR Jackson
M Timmer
M Timmer
MN Rabe
MZ Kwiatkowska
PR D’Argenio
R Milner
T Bolognesi
T Quatmann
Y Butkova
Y Butkova
Y Butkova
Y Butkova
Publication venue: Springer
Publication date: 01/01/2019
Field of study

University of Twente Research Information

Abstraction-Based Computation of Reward Measures for Markov Automata

Author: B. Wachter
Bettina Braitling
C. Baier
C. Eisentraut
C. Eisentraut
D. Guck
D. Guck
D. Guck
L. Zhang
L.S. Shapley
M. Kattenbelt
M. Timmer
M. Timmer
Pedro R. D’Argenio
T. Brázdil
Y. Deng
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2015
Field of study

Symbolic Approximation of the Bounded Reachability Probability in Large Markov Chains

Author: B. Braitling
C. Dehnert
D. Monniaux
E.M. Hahn
G. Della Penna
H. Hansson
H. Hermanns
J. Esparza
J.-P. Katoen
L. Alfaro de
L. Helmink
M. Fränzle
M. Fränzle
M. Kattenbelt
M. Kwiatkowska
M. Kwiatkowska
M. Reiter
M.E. Andrés
N. Jansen
R. Wimmer
S. Even
T. Han
T. Herman
T. Teige
Y. Ge
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2014
Field of study

Voraussicht und Fehlurteil. Die intellektuelle Basis von Entscheidungen

Author: A Amalrik
Aristoteles
B Tuchman
C Johnson
C Lindblom
C Maier
D D’Souza
D Halberstam
DP Moynihan
DP Moynihan
E Todd
G Simon
H Arendt
J Herf
J Locke
J Persico
JS Mill
M Frey
M Hardt
M Lind
M Ploetz
P Braitling
P Kennedy
P Schweizer
P Schweizer
R McNamara
R Reagan
SM Lipset
W Muir
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

core

core