Model checking approach to automated planning

DOI10.1007/S10703-013-0197-1zbMath1291.68263OpenAlexW2030659368MaRDI QIDQ2248102

Jing Sun, Yi Li, Jun Sun, Yang Liu, 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

verificationformal specificationmodel checkingdeterministic planning

Mathematics Subject Classification ID

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

Related Items (1)

A temporal logic programming approach to planning

Uses Software

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Using temporal logics to express search control knowledge for planning
• An Efficient Algorithm for Learning Event-Recording Automata
• Communicating sequential processes
• Improved BDD-Based Discrete Analysis of Timed Systems

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