Abstract is missing.
- Moment-Based Invariants for Probabilistic Loops with Non-polynomial AssignmentsAndrey Kofnov, Marcel Moosbrugger, Miroslav Stankovic, Ezio Bartocci, Efstathia Bura. 3-25 [doi]
- Distribution Estimation for Probabilistic LoopsAhmad Karimi, Marcel Moosbrugger, Miroslav Stankovic, Laura Kovács, Ezio Bartocci, Efstathia Bura. 26-42 [doi]
- An Automated Quantitative Information Flow Analysis for Concurrent ProgramsKhayyam Salehi, Ali A. Noroozi, Sepehr Amir-Mohammadian, MohammadSadegh Mohagheghi. 43-63 [doi]
- Rate Lifting for Stochastic Process Algebra - Exploiting Structural Properties -Markus Siegle, Amin Soltanieh. 67-84 [doi]
- End-to-End Statistical Model Checking for Parametric ODE ModelsDavid Julien, Guillaume Cantin, Benoît Delahaye. 85-106 [doi]
- POMDP Controllers with Optimal BudgetJip Spel, Svenja Stein, Joost-Pieter Katoen. 107-130 [doi]
- A Logical Framework for Reasoning About Local and Global Properties of Collective SystemsMichele Loreti, Aniqa Rehman. 133-149 [doi]
- Jump Longer to Jump Less: Improving Dynamic Boundary Projection with h-ScalingFrancesca Randone, Luca Bortolussi, Mirco Tribastone. 150-170 [doi]
- An Algorithm for the Formal Reduction of Differential Equations as Over-ApproximationsGiuseppe Squillace, Mirco Tribastone, Max Tschaikowski, Andrea Vandin. 173-191 [doi]
- Stability Analysis of Planar Probabilistic Piecewise Constant Derivative SystemsSpandan Das, Pavithra Prabhakar. 192-213 [doi]
- LCRL: Certified Policy Synthesis via Logically-Constrained Reinforcement LearningMohammadhosein Hasanbeig, Daniel Kroening, Alessandro Abate. 217-231 [doi]
- LN: A Meta-solver for Layered Queueing Network AnalysisGiuliano Casale, Yicheng Gao, Zifeng Niu, Lulai Zhu. 232-254 [doi]
- Eulero: A Tool for Quantitative Modeling and Evaluation of Complex WorkflowsLaura Carnevali, Riccardo Reali, Enrico Vicario. 255-272 [doi]
- Preference-Aware Computation Offloading for IoT in Multi-access Edge Computing Using Probabilistic Model CheckingKaustabha Ray, Ansuman Banerjee. 275-297 [doi]
- Analysis of an Electric Vehicle Charging System Along a HighwayDavide Cerotti, Simona Mancini, Marco Gribaudo, Andrea Bobbio. 298-316 [doi]
- Verifier's Dilemma in Ethereum Blockchain: A Quantitative AnalysisDaria Smuseva, Ivan Malakhov, Andrea Marin, Aad van Moorsel, Sabina Rossi. 317-336 [doi]
- Comparing Statistical and Analytical Routing Approaches for Delay-Tolerant NetworksPedro R. D'Argenio, Juan A. Fraire, Arnd Hartmanns, Fernando D. Raverta. 337-355 [doi]
- Mirrors and Memory in Quantum AutomataCarla Piazza, Riccardo Romanello. 359-380 [doi]
- Monte Carlo Tree Search for Priced Timed AutomataPeter Gjøl Jensen, Andrej Kiviriga, Kim Guldstrand Larsen, Ulrik Nyman, Adriana Mijacika, Jeppe Høiriis Mortensen. 381-398 [doi]