Flexible plan verification: feasibility results

DOI10.3233/FI-2011-397MaRDI QIDQ3100175zbMATH OpenOpenAlexFDO

Authors Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci

Publication date 22 November 2011

Published in Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3233/fi-2011-397

zbMATH Keywords

model checkingvalidation and verificationtimeline-based planning

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 5887274
• Planning and execution with flexible timelines: a formal account
• A game-theoretic approach to timeline-based planning with uncertainty
• On timeline-based games and their complexity
• A temporal logic programming approach to planning

Cited in

(6)

• Automated planning as an early verification tool for distributed control
• Dynamic controllability via timed game automata
• Planning and execution with flexible timelines: a formal account
• On timeline-based games and their complexity
• A game-theoretic approach to timeline-based planning with uncertainty
• scientific article; zbMATH DE number 758129 (Why is no real title available?)

This page was built for publication: Flexible plan verification: feasibility results

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