Cited By
View all- Ammar SSakka Rouis TBhiri MGaaloul W(2022)Automatic Processing of Planning Problems: Application on Representative Case StudiesAdvances in Computational Collective Intelligence10.1007/978-3-031-16210-7_36(436-445)Online publication date: 21-Sep-2022
- Ackermann JAndrew van der Poll J(2020)Reasoning Heuristics for the Theorem-Proving Platform Rodin/Event-B2020 International Conference on Computational Science and Computational Intelligence (CSCI)10.1109/CSCI51800.2020.00332(1800-1806)Online publication date: Dec-2020
- Yang KTian CZhang NDuan ZDu H(2019)A temporal logic programming approach to planningJournal of Combinatorial Optimization10.1007/s10878-019-00389-y38:2(402-420)Online publication date: 31-Jul-2019
- Show More Cited By