Affiliation:

Radboud University

Incremental Fingerprinting in an Open World

Constrained and Robust Policy Synthesis with Satisfiability-Modulo-Probabilistic-Model-Checking

Multiobjective Predicate Transformers: Computing the Pareto Front in Probabilistic Programs

Scalable Probabilistic Program Verification by Theory-Extended Decision Diagrams

Shields to Guarantee Probabilistic Safety in MDPs

Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families