Sabrine Ammar

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 4

Top Topics

Planning Problems

Heuristic Search

Top Venues

ICCCI (CCIS Volume)

Publications

Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul
Automatic Processing of Planning Problems: Application on Representative Case Studies. ICCCI (CCIS Volume) (2022)
Sabrine Ammar, Mohamed Tahar Bhiri
A Formal Approach Combining Event-B and PDDL for Planning Problems. ICSOFT (2021)
Sabrine Ammar, Mohamed Tahar Bhiri
Formal Event-B Modeling of the MICONIC Application. SoMeT (2021)
Sabrine Ammar, Mohamed Tahar Bhiri
Automatic Planning: From Event-B to PDDL. MEDI Workshops (2018)