Deciding LTL over Mazurkiewicz traces.
Benedikt BolligMartin LeuckerPublished in: Data Knowl. Eng. (2003)
Keyphrases
- mazurkiewicz traces
- temporal logic
- model checking
- linear temporal logic
- satisfiability problem
- bounded model checking
- modal logic
- formal verification
- linear time temporal logic
- transition systems
- databases
- relational databases
- making decisions
- search algorithm
- belief revision
- search space
- multimedia
- temporally extended goals
- artificial intelligence