11 citations · 20 across the 3 of their papers we have counts for
3 papers
cs.CY2018★ 2 cited
Measuring Item Similarity in Introductory Programming: Python and Robot Programming Case Studies
Radek Pelánek, Tomáš Effenberger, Matěj Vaněk +2
A personalized learning system needs a large pool of items for learners to solve. When working with a large pool of items, it is useful to measure the similarity of items. We outli…
cs.AI2014★ 7 cited
Difficulty Rating of Sudoku Puzzles: An Overview and Evaluation
Radek Pelánek
How can we predict the difficulty of a Sudoku puzzle? We give an overview of difficulty rating metrics and evaluate them on extensive dataset on human problem solving (more then 17…
cs.GT2007★ 11 cited
Predicate Abstraction with Under-approximation Refinement
Corina S. Pasareanu, Radek Pelanek, Willem Visser
We propose an abstraction-based model checking method which relies on refinement of an under-approximation of the feasible behaviors of the system under analysis. The method preser…