A planner agent that tries its best in presence of nondeterminism
type: Item
instance of: scholarly article
title: A planner agent that tries its best in presence of nondeterminism
zbMATH Open document ID: 1262.68162
author: Silvio Do Lago Pereira
author: Leliane Nunes de Barros
published in: Journal of Applied Logic
publication date: 2013-05-02T00:00:00Z
Mathematics Subject Classification ID: 68T20
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6160218
zbMATH Keywords: automated planning
zbMATH Keywords: planning under uncertainty
zbMATH Keywords: planning as model checking
zbMATH Keywords: temporal logic
MaRDI profile type: Publication
full work available at URL: j.jal.2012.06.002
OpenAlex ID: W2022248509
cites work: A linear algorithm to solve fixed-point equations on transition systems
cites work: The computational complexity of propositional STRIPS planning
cites work: Q3336675
cites work: Q5313998
cites work: Q5339289
cites work: Q4494387
cites work: Using α -ctl to Specify Complex Planning Goals
DOI: 10.1016/J.JAL.2012.06.002
description: scientific article; zbMATH DE number 6160218