SMT-Based Abstract Parametric Temporal Planning

DOI10.1007/978-3-662-48650-4_4zbMath1366.68009OpenAlexW2403913256WikidataQ62045386 ScholiaQ62045386MaRDI QIDQ5268456

Artur Niewiadomski, Wojciech Penczek

Publication date: 20 June 2017

Published in: Transactions on Petri Nets and Other Models of Concurrency X (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-48650-4_4

zbMATH Keywords

SMTweb service compositionLTLabstract temporal planning

Mathematics Subject Classification ID

Knowledge representation (68T30) Internet topics (68M11)

Uses Software

• z3

Cites Work

• Unnamed Item
• Deterministic planning in the fifth international planning competition: PDDL3 and experimental evaluation of the planners

This page was built for publication: SMT-Based Abstract Parametric Temporal Planning