A correct-by-construction approach for development of reliable planning problems

DOI10.21203/RS.3.RS-2621444/V1MaRDI QIDQ6909892zbMATH OpenFDO

Authors Sabrine Ammar, Taoufik Sakka Rouis, Mohamed Tahar Bhiri

Publication date 29 October 2025

Published in Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.21203/RS.3.RS-2621444/V1

zbMATH Keywords

automated planningcode generationcorrect by constructionevent-BPDDLrefinement

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Cites work

• A Concise Introduction to Models and Methods for Automated Planning
• Abstract state machines, Alloy, B, TLA, VDM, and Z. 4th international conference, ABZ 2014, Toulouse, France, June 2--6, 2014. Proceedings
• An introduction to the planning domain definition language
• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• Interval-based relaxation for general numeric planning
• Learning from planner performance
• Modeling in Event B. System and software engineering.
• Modelling mixed discrete-continuous domains for planning
• Planning for hybrid systems via satisfiability modulo theories
• The B-Book
• The fast downward planning system

This page was built for publication: A correct-by-construction approach for development of reliable planning problems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6909892)