The reachability_search_algorithm function is currently doing a blind search.
For optimisation, it could use something that the linked article refers to as the waiting strategy
https://www.researchgate.net/publication/279310755_Improving_Search_Order_for_Reachability_Testing_in_Timed_Automata
It is also discussed in our (group 17 2022) project report on the reachability query
However, first benchmarks should be improved, else it will not be possible to measure the improvements #134
The reachability_search_algorithm function is currently doing a blind search.
For optimisation, it could use something that the linked article refers to as the waiting strategy
https://www.researchgate.net/publication/279310755_Improving_Search_Order_for_Reachability_Testing_in_Timed_Automata
It is also discussed in our (group 17 2022) project report on the reachability query
However, first benchmarks should be improved, else it will not be possible to measure the improvements #134