2 papers
cs.SE2026
Quiescence in Concert: Composing Multi-Channel Time-Outs for IOCO
Laura Brandán Briones, Petra van den Bos, Marcus Gerhold
In Model-Based Testing (MBT), test suites are generated automatically from a formal specification. The theory of testing real-time systems is rich, but often underused in practice,…
cs.GT2023
With a little help from your friends: semi-cooperative games via Joker moves
Petra van den Bos, Marielle Stoelinga
This paper coins the notion of Joker games, a variant of concurrent games where the players are not strictly adversarial. Instead, Player 1 can get help from Player 2 by playing a…