Property directed reachability for automated planning

DOI10.1613/JAIR.4231MaRDI QIDQ4979439zbMATH OpenOpenAlexWikidataFDO

Authors Martin Suda

Publication date 23 June 2014

Published in Journal of Artificial Intelligence Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1613/jair.4231

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 1560491
• Software verification with PDR: an implementation of the state of the art
• Action planning for directed model checking of Petri nets
• Planning as quantified Boolean formula
• scientific article; zbMATH DE number 1560498

Cited in

(5)

• Software verification with PDR: an implementation of the state of the art
• Exploiting adjoints in property directed reachability analysis
• Domain-independent cost-optimal planning in ASP
• scientific article; zbMATH DE number 1560491 (Why is no real title available?)
• State space search nogood learning: online refinement of critical-path dead-end detectors in planning

This page was built for publication: Property directed reachability for automated planning

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