21 citations · 39 across the 2 of their papers we have counts for
2 papers
cs.SE2022★ 21 cited
An Agent-based Approach to Automated Game Testing: an Experience Report
I. S. W. B. Prasetya, Fernando Pastor Ricós, Fitsum Kifetew +8
Computer games are very challenging to handle for traditional automated testing algorithms. In this paper we will look at intelligent agents as a solution. Agents are suitable for…
cs.CE2009★ 18 cited
Efficient Parallel Statistical Model Checking of Biochemical Networks
Paolo Ballarini, Michele Forlin, Tommaso Mazza +1
We consider the problem of verifying stochastic models of biochemical networks against behavioral properties expressed in temporal logic terms. Exact probabilistic verification app…