Model checking approach to automated planning

DOI10.1007/S10703-013-0197-1zbMATH Open1291.68263OpenAlexW2030659368MaRDI QIDQ2248102FDOQ2248102

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

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

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)

Cites Work

• Title not available (Why is that?)
• The FF planning system: Fast plan generation through heuristic search
• Communicating sequential processes
• Using temporal logics to express search control knowledge for planning
• Title not available (Why is that?)
• Improved BDD-based discrete analysis of timed systems
• An efficient algorithm for learning event-recording automata

Cited In (4)

• A Concise Introduction to Models and Methods for Automated Planning
• Title not available (Why is that?)
• A temporal logic programming approach to planning
• Title not available (Why is that?)

Uses Software

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

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)