scientific article
From MaRDI portal
Publication:2999180
DOI10.3233/978-1-60750-606-5-471zbMath1211.68247MaRDI QIDQ2999180
Amedeo Cesta, Enrico Tronci, Andrea Orlandini, Alberto Finzi, Simone Fratini
Publication date: 11 May 2011
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)
Related Items (4)
Planning and execution with flexible timelines: a formal account ⋮ Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification ⋮ On timeline-based games and their complexity ⋮ Complexity issues for timeline-based planning over dense time under future and minimal semantics
This page was built for publication:
