Intuitionistic LTL and a New Characterization of Safety and Liveness.
Patrick MaierPublished in: CSL (2004)
Keyphrases
- model checking
- fuzzy set theory
- linear logic
- temporal logic
- bounded model checking
- linear temporal logic
- neural network
- deterministic automata
- theorem prover
- fuzzy relations
- machine learning
- linear time temporal logic
- database
- interval valued
- domain independent
- natural deduction
- nuclear power plant
- genetic algorithm