Special Issue: Temporal Logic in Engineering.
Ephraim NissanPublished in: Artif. Intell. Eng. Des. Anal. Manuf. (1999)
Keyphrases
- special issue
- temporal logic
- applied intelligence
- model checking
- international journal
- modal logic
- ecml pkdd
- computation tree logic
- ai edam
- software engineering
- engineering design
- bounded model checking
- transition systems
- concurrent systems
- computer science
- linear temporal logic
- satisfiability problem
- verification method
- reactive systems
- temporal knowledge
- special section
- mazurkiewicz traces
- belief revision
- artificial intelligence
- temporally extended
- intelligent systems
- automata theoretic
- qualitative differential equations