-
Notifications
You must be signed in to change notification settings - Fork 5
McNet : Bidirectional Search #154
Copy link
Copy link
Open
Labels
help wantedExtra attention is neededExtra attention is needed⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projects
Milestone
Description
Metadata
Metadata
Assignees
Labels
help wantedExtra attention is neededExtra attention is needed⏰ benchmarkNew or changes to existing benchmarkNew or changes to existing benchmark🎓 student projectInteresting (~ 5 ECTS) side projectsInteresting (~ 5 ECTS) side projects
The bidirectional search in this paper (with bullying) seems really interesting. Can we apply this idea (or a simplified version of it) in our Model Checker? What could be a use-case?
https://ojs.aaai.org/index.php/ICAPS/article/view/31505/33665