University of Twente Student Theses
As of Friday, 8 August 2025, the current Student Theses repository is no longer available for thesis uploads. A new Student Theses repository will be available starting Friday, 15 August 2025.
Flexible Strategies for State Space Exploration
Alfing, Luuk (2025) Flexible Strategies for State Space Exploration.
|
PDF
597kB |
| Abstract: | Exploring large state spaces is a common challenge in many domains, requiring systematic strategies to solve complex problems. Existing tools are often designed around specific strategies or goals, limiting their reusability. This study proposes the development of a flexible, unified framework for state space exploration, allowing for customization of exploration strategies based on various strategy features. The framework emphasizes modularity and extensibility, and is evaluated through the implementation of multiple configurations, tested across different state space exploration problems. |
| Item Type: | Essay (Bachelor) |
| Faculty: | EEMCS: Electrical Engineering, Mathematics and Computer Science |
| Subject: | 54 computer science |
| Programme: | Computer Science BSc (56964) |
| Link to this item: | https://purl.utwente.nl/essays/107366 |
| Export this item as: | BibTeX EndNote HTML Citation Reference Manager |
Show download statistics for this publication
Show download statistics for this publicationRepository Staff Only: item control page