Bounding Mean First Passage Times in Population Continuous-Time Markov Chains (English)
- New search for: Backenköhler, Michael
- New search for: Bortolussi, Luca
- New search for: Wolf, Verena
- New search for: Backenköhler, Michael
- New search for: Bortolussi, Luca
- New search for: Wolf, Verena
In:
Quantitative evaluation of systems
; 155-174
;
2020
-
ISBN:
- Conference paper / Print
-
Title:Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
-
Contributors:
-
Conference:QEST ; 17. ; 2020 ; Online
-
Published in:Quantitative evaluation of systems ; 155-174
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2020
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.10
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.10 Theoretische Informatik -
Source:
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
Machine Learning for Reliability Analysis of Large Scale SystemsSmirni, Evgenia et al. | 2020
- 11
-
Tracking the Race Between Deep Reinforcement Learning and Imitation LearningGros, Timo P. / Höller, Daniel / Hoffmann, Jörg / Wolf, Verena et al. | 2020
- 18
-
SafePILCO: A Software Tool for Safe and Data-Efficient Policy SynthesisPolymenakos, Kyriakos / Rontsis, Nikitas / Abate, Alessandro / Roberts, Stephen et al. | 2020
- 27
-
StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction NetworksRepin, Denis / Phung, Nhat-Huy / Petrov, Tatjana et al. | 2020
- 35
-
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of NondeterminismBernardo, Marco et al. | 2020
- 54
-
Probabilistic Model Checking of AODVKamali, Mojgan / Katoen, Joost-Pieter et al. | 2020
- 74
-
Multi-player Equilibria Verification for Concurrent Stochastic GamesKwiatkowska, Marta / Norman, Gethin / Parker, David / Santos, Gabriel et al. | 2020
- 96
-
Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary ClassifiersSalako, Kizito et al. | 2020
- 115
-
Bayesian Inference by Symbolic Model CheckingSalmani, Bahare / Katoen, Joost-Pieter et al. | 2020
- 137
-
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based SystemsDas, Olivia / Das, Arindam et al. | 2020
- 144
-
A Matlab Toolkit for the Analysis of Two-Level Processor Sharing QueuesMarin, Andrea / Rossi, Sabina / Zen, Carlo et al. | 2020
- 148
-
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid AnalysisYazici, Mehmet Akif / Phung-Duc, Tuan et al. | 2020
- 155
-
Bounding Mean First Passage Times in Population Continuous-Time Markov ChainsBackenköhler, Michael / Bortolussi, Luca / Wolf, Verena et al. | 2020
- 175
-
Markovian Arrival Processes in Multi-dimensionsBlume, Andreas / Buchholz, Peter / Scherbaum, Clara et al. | 2020
- 193
-
Automatic Pre- and Postconditions for Partial Differential EquationsBoreale, Michele et al. | 2020
- 211
-
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case StudyGroßmann, Gerrit / Backenköhler, Michael / Wolf, Verena et al. | 2020
- 233
-
The Dynamic Fault Tree Rare Event SimulatorBudde, Carlos E. / Ruijters, Enno / Stoelinga, Mariëlle et al. | 2020
- 239
-
Entropy Measurement of Concurrent DisorderCook, Victor / Peterson, Christina / Painter, Zachary / Dechev, Damian et al. | 2020
- 258
-
Hardening Critical Infrastructure Networks Against Attacker ReconnaissancePalani, Kartik / Nicol, David M. et al. | 2020
- 276
-
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of MetamodelsRausch, Michael / Sanders, William H. et al. | 2020
- 297
-
Flexible NetsJúlvez, Jorge et al. | 2020
- 298
-
Verifying Probabilistic ProgramsKaminski, Benjamin / Katoen, Joost-Pieter / Matheja, Christoph et al. | 2020