A Formal Approach Combining Event-B and PDDL for Planning Problems

von Ammar, Sabrine
Veröffentlicht in ICSOFT (16. : 2021 : Online) ICSOFT 2021 (2021)

Formal Event-B Modeling of the MICONIC Application

von Ammar, Sabrine
Veröffentlicht in SoMeT (20. : 2021 : Cancún) New trends in intelligent software methodologies, tools and techniques (2021)

Automatic Processing of Planning Problems: Application on Representative Case Studies

von Ammar, Sabrine
Veröffentlicht in ICCCI (14. : 2022 : Hammamet; Online) Advances in computational collective intelligence (2022)