Temporal Logics and Structured Plans.

Éric Rutten Lionel Marcé

Published in: SCAI (1989)

Keyphrases

temporal logic
model checking
mazurkiewicz traces
modal logic
satisfiability problem
concurrent systems

predicate logic
linear temporal logic
plan recognition
verification method
temporal knowledge
belief revision

planning domains
computation tree logic
formal specification
transition systems
partial order
formal verification

plan execution
temporal resolution
partially ordered
reactive systems
image sequences