Tim W. D. M. Kouters

Publication Activity (10 Years)

Years Active: 2011-2015
Publications (10 Years): 1

Top Topics

Markov Decision Process

Specification Language

Particle Filter

Top Venues

Softw. Test. Verification Reliab.

Publications

Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification guidelines to avoid the state space explosion problem. Softw. Test. Verification Reliab. 25 (1) (2015)
Jan Friso Groote, Tim W. D. M. Kouters, Ammar Osaiweran
Specification Guidelines to Avoid the State Space Explosion Problem. FSEN (2011)