Flexible Nets (abstract)

Verifying Probabilistic Programs (abstract)

On Privacy and Accuracy in Data Releases (abstract)

Multi-player Equilibria Verification for Concurrent Stochastic Games (abstract)

Automatic Pre- and Postconditions for Partial Differential Equations (abstract)

Compact and Explainable Strategy Representations using dtControl (abstract)

Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers (abstract)

Tracking the Race Between Deep Reinforcement Learning and Imitation Learning (abstract)

SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis (abstract)

StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks (abstract)

Hardening Critical Infrastructure Networks Against Attacker Reconnaissance (abstract)

CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems (abstract)

A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues (abstract)

M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis (abstract)

Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study (abstract)

Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels (abstract)

The Dynamic Fault Tree Rare Event Simulator (abstract)

A Survey of Bidding Games on Graphs (abstract)

Bounding Mean First Passage Times in Population Continuous-Time Markov Chains (abstract)

Markovian Arrival Processes in Multi-Dimensions (abstract)

Entropy Measures of Concurrent Disorder (abstract)

Probabilistic Model Checking of AODV (abstract)

Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism (abstract)

Bayesian Inference by Symbolic Model Checking (abstract)

Machine Learning for Reliability Analysis of Large Scale Distributed Systems (abstract)