A Description and Reasoning of Plant Controllers in Temporal Logic.
Akira FusaokaHirohisa SekiKazuko TakahashiPublished in: IJCAI (1983)
Keyphrases
- temporal logic
- temporal knowledge
- model checking
- control system
- modal logic
- satisfiability problem
- knowledge representation
- verification method
- concurrent systems
- linear temporal logic
- knowledge base
- predicate logic
- computation tree logic
- model checker
- reinforcement learning
- controller synthesis
- mazurkiewicz traces
- reasoning tasks
- automated reasoning
- finite state
- formal representation
- transition systems
- bounded model checking
- qualitative reasoning
- formal specification language