Sabrine Ammar

According to our database, Sabrine Ammar authored at least 4 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Automatic Processing of Planning Problems: Application on Representative Case Studies.

Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri, Walid Gaaloul

Proceedings of the Advances in Computational Collective Intelligence, 2022

2021

Formal Event-B Modeling of the MICONIC Application.

Sabrine Ammar, Mohamed Tahar Bhiri

Proceedings of the New Trends in Intelligent Software Methodologies, Tools and Techniques, 2021

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

Sabrine Ammar, Mohamed Tahar Bhiri

Proceedings of the 16th International Conference on Software Technologies, 2021

2018

Automatic Planning: From Event-B to PDDL.

Sabrine Ammar, Mohamed Tahar Bhiri

Proceedings of the New Trends in Model and Data Engineering, 2018