Abstract is missing.
- Machine Learning for Reliability Analysis of Large Scale SystemsEvgenia Smirni. 3-7 [doi]
- Tracking the Race Between Deep Reinforcement Learning and Imitation LearningTimo P. Gros, Daniel Höller, Jörg Hoffmann 0001, Verena Wolf. 11-17 [doi]
- SafePILCO: A Software Tool for Safe and Data-Efficient Policy SynthesisKyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen J. Roberts. 18-26 [doi]
- StochNetV2: A Tool for Automated Deep Abstractions for Stochastic Reaction NetworksDenis Repin, Nhat-Huy Phung, Tatjana Petrov. 27-32 [doi]
- Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of NondeterminismMarco Bernardo 0001. 35-53 [doi]
- Probabilistic Model Checking of AODVMojgan Kamali, Joost-Pieter Katoen. 54-73 [doi]
- Multi-player Equilibria Verification for Concurrent Stochastic GamesMarta Kwiatkowska, Gethin Norman, David Parker 0001, Gabriel Santos. 74-95 [doi]
- Loss-Size and Reliability Trade-Offs Amongst Diverse Redundant Binary ClassifiersKizito Salako. 96-114 [doi]
- Bayesian Inference by Symbolic Model CheckingBahare Salmani, Joost-Pieter Katoen. 115-133 [doi]
- CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-Based SystemsOlivia Das, Arindam Das. 137-143 [doi]
- A Matlab Toolkit for the Analysis of Two-Level Processor Sharing QueuesAndrea Marin, Sabina Rossi, Carlo Zen. 144-147 [doi]
- M/M/1 Vacation Queue with Multiple Thresholds: A Fluid AnalysisMehmet Akif Yazici, Tuan Phung-Duc. 148-152 [doi]
- Bounding Mean First Passage Times in Population Continuous-Time Markov ChainsMichael Backenköhler, Luca Bortolussi, Verena Wolf. 155-174 [doi]
- Markovian Arrival Processes in Multi-dimensionsAndreas Blume, Peter Buchholz 0001, Clara Scherbaum. 175-192 [doi]
- Automatic Pre- and Postconditions for Partial Differential EquationsMichele Boreale. 193-210 [doi]
- Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case StudyGerrit Großmann, Michael Backenköhler, Verena Wolf. 211-229 [doi]
- The Dynamic Fault Tree Rare Event SimulatorCarlos E. Budde, Enno Ruijters, Mariëlle Stoelinga. 233-238 [doi]
- Entropy Measurement of Concurrent DisorderVictor Cook, Christina L. Peterson, Zachary Painter, Damian Dechev. 239-257 [doi]
- Hardening Critical Infrastructure Networks Against Attacker ReconnaissanceKartik Palani, David M. Nicol. 258-275 [doi]
- Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models Through a Stacked Ensemble of MetamodelsMichael J. Rausch, William H. Sanders. 276-293 [doi]