Machine Learning for Reliability Analysis of Large Scale Distributed Systems
Tracking the Race Between Deep Reinforcement Learning and Imitation Learning
SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis
StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks
Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism
Probabilistic Model Checking of AODV
Multi-player Equilibria Verification for Concurrent Stochastic Games
Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers
Bayesian Inference by Symbolic Model Checking
CogQN: A Queueing Model that Captures Human Learning of the User Interfaces of Session-based Systems
A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues
M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis
Bounding Mean First Passage Times in Population Continuous-Time Markov Chains
Markovian Arrival Processes in Multi-Dimensions
Automatic Pre- and Postconditions for Partial Differential Equations
Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study
The Dynamic Fault Tree Rare Event Simulator
Entropy Measurement of Concurrent Disorder
Hardening Critical Infrastructure Networks Against Attacker Reconnaissance
Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels
Flexible Nets
Verifying Probabilistic Programs. .