1 citations · 2 across the 3 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2026★ 1 cited
Verification of Parametric Markov Automata under Time-bounded Reachability
Kevin van de Glind, Matthias Volk, Tim Willemse
Analysis of Markov models is of high importance for formal verification. Until now, analysis of Markov Automata required them to be fully specified, which is a considerable restric…
cs.LO2024★ 1 cited
Formal Modelling and Analysis of Slot Machines
Jan Friso Groote, Sander van Heesch, Matthias Volk
Slot machines can have fairly complex behaviour. Determining the RTP (return to player) can be involved, especially when a player has an influence on the course of the game. In thi…