Author:
Abdulaziz Mohammad,Lammich Peter
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A correct-by-construction approach for development of reliable planning problems;Journal of Logic and Computation;2024-04-02
2. Formal Event-B Modeling of the MICONIC Application;Frontiers in Artificial Intelligence and Applications;2021-09-08
3. Actions you can handle: dependent types for AI plans;Proceedings of the 6th ACM SIGPLAN International Workshop on Type-Driven Development;2021-08-18