Further Evidence of Neuroprotective Effects of Recombinant Human Erythropoietin and Growth Hormone in Hypoxic Brain Injury in Neonatal Mice von Klepper, Simon, Jung, Susan, Dittmann, Lara, Geppert, Carol I, Hartmann, Arnd, Beier, Nicole, Trollmann, Regina

Volltext

Explaining and Evaluating Deep Tissue Classification by Visualizing Activations of Most Relevant Intermediate Layers von Mohammed, Aliya, Geppert, Carol, Hartmann, Arnd, Kuritcyn, Petr, Bruns, Volker, Schmid, Ute, Wittenberg, Thomas, Benz, Michaela, Finzel, Bettina

Volltext

Regulatory focus and investment decisions in small groups von Florack, Arnd, Hartmann, Juliane

Volltext

A Modest Approach to Markov Automata von Butkova, Yuliya, Hartmanns, Arnd, Hermanns, Holger

Volltext

A compositional modelling and analysis framework for stochastic hybrid systems von Hahn, Ernst Moritz, Hartmanns, Arnd, Hermanns, Holger, Katoen, Joost-Pieter

Volltext

Automated compositional importance splitting von Budde, Carlos E., D'Argenio, Pedro R., Hartmanns, Arnd

Volltext

Comparing Statistical, Analytical, and Learning-Based Routing Approaches for Delay-Tolerant Networks von D'Argenio, Pedro R., Fraire, Juan, Hartmanns, Arnd, Raverta, Fernando

Volltext

Multi-cost Bounded Tradeoff Analysis in MDP von Hartmanns, Arnd, Junges, Sebastian, Katoen, Joost-Pieter, Quatmann, Tim

Volltext

In the quantitative automata zoo von Hartmanns, Arnd, Hermanns, Holger

Volltext

Model-based testing of stochastically timed systems von Gerhold, Marcus, Hartmanns, Arnd, Stoelinga, Mariëlle

Volltext

Sound statistical model checking for MDP using partial order and confluence reduction von Hartmanns, Arnd, Timmer, Mark

Volltext

Sound Statistical Model Checking for Probabilities and Expected Rewards von Budde, Carlos E, Hartmanns, Arnd, Meggendorfer, Tobias, Weininger, Maximilian, Wienhöft, Patrick

Volltext bestellen

Reproduction Report for SV-COMP 2023 von Gerhold, Marcus, Hartmanns, Arnd

Volltext bestellen

Digging for Decision Trees: A Case Study in Strategy Sampling and Learning von Budde, Carlos E, D'Argenio, Pedro R, Hartmanns, Arnd

Volltext bestellen

An Overview of Modest Models and Tools for Real Stochastic Timed Systems von Hartmanns, Arnd

Volltext

A Practitioner's Guide to MDP Model Checking Algorithms von Hartmanns, Arnd, Junges, Sebastian, Quatmann, Tim, Weininger, Maximilian

Volltext bestellen

Correct Probabilistic Model Checking with Floating-Point Arithmetic von Hartmanns, Arnd

Volltext bestellen

Backwards Reachability for Probabilistic Timed Automata: A Replication Report von Hartmanns, Arnd, Kohlen, Bram

Volltext bestellen

Optimistic Value Iteration von Hartmanns, Arnd, Kaminski, Benjamin Lucien

Volltext bestellen

Balancing Wind and Batteries: Towards Predictive Verification of Smart Grids von Badings, Thom S, Hartmanns, Arnd, Jansen, Nils, Suilen, Marnix

Volltext