Model checking approach to automated planning

DOI10.1007/S10703-013-0197-1MaRDI QIDQ2248102zbMATH OpenOpenAlexFDO

Authors Yi Li, Jing Sun, Yang Liu, Jun Sun, Jin-Song Dong

Publication date 30 June 2014

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://ink.library.smu.edu.sg/sis_research/4978

zbMATH Keywords

verificationmodel checkingformal specificationdeterministic planning

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Artificial Intelligence and Soft Computing - ICAISC 2004
• Model Checking Software
• scientific article; zbMATH DE number 910719
• scientific article; zbMATH DE number 1560498
• scientific article; zbMATH DE number 1487860

Cites work

• scientific article; zbMATH DE number 1249653 (Why is no real title available?)
• scientific article; zbMATH DE number 2038893 (Why is no real title available?)
• An efficient algorithm for learning event-recording automata
• Communicating sequential processes
• Improved BDD-based discrete analysis of timed systems
• The FF planning system: Fast plan generation through heuristic search
• Using temporal logics to express search control knowledge for planning

Cited in

(5)

• A Concise Introduction to Models and Methods for Automated Planning
• scientific article; zbMATH DE number 67486 (Why is no real title available?)
• Automated planning as an early verification tool for distributed control
• A temporal logic programming approach to planning
• scientific article; zbMATH DE number 2038900 (Why is no real title available?)

Describes a project that uses

Uses Software

• ERA-PAT
• PAT
• ProB
• PDDL
• NuSMV
• SPIN

This page was built for publication: Model checking approach to automated planning

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