Program Analysis
Moment-based Invariants for Probabilistic Loops with Non-polynomial Assignments
Distribution Estimation for Probabilistic Loops
An Automated Quantitative Information Flow Analysis for Concurrent Programs
Parameter Synthesis
Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties
End-to-end Statistical Model Checking for Parametric ODE Models
POMDP Controllers With Optimal Budget
Markovian Agents and Population Models
A Logical Framework for Reasoning about Local and Global Properties of Collective Systems
Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-scaling
Dynamical Systems
An Algorithm for the Formal Reduction of Differential Equations as Over-approximations
Stability Analysis of Planar Probabilistic Piecewise Constant Derivative Systems
Tools
LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement Learning
LN: a Meta-Solver for Layered Queueing Network Analysis
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows
Applications
Preference-Aware Computation Offloading for IoT in Multi-Access Edge Computing Using Probabilistic Model Checking
Analysis of an Electric Vehicle Charging System along a Highway
Verifier's Dilemma in Ethereum Blockchain: A Quantitative Analysis
Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant Networks
Automata Theory and Applications
Mirrors and Memory in Quantum Automata
Monte Carlo Tree Search for Priced Timed Automata.