LTL Goal Specifications Revisited

DOI10.3233/978-1-60750-606-5-881zbMath1211.68376OpenAlexW1597808600MaRDI QIDQ2999221

Andreas Bauer, Patrik Haslum

Publication date: 11 May 2011

Full work available at URL: https://doi.org/10.3233/978-1-60750-606-5-881

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Specification and verification (program logics, model checking, etc.) (68Q60) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Temporal logic (03B44)

Related Items (1)

First-order temporal logic on finite traces: semantic properties, decidable fragments, and applications

This page was built for publication: LTL Goal Specifications Revisited