Computing sufficient and necessary conditions in CTL: a forgetting approach (Q6204992)
From MaRDI portal
scientific article; zbMATH DE number 7830635
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Computing sufficient and necessary conditions in CTL: a forgetting approach |
scientific article; zbMATH DE number 7830635 |
Statements
Computing sufficient and necessary conditions in CTL: a forgetting approach (English)
0 references
11 April 2024
0 references
computation tree logic
0 references
forgetting
0 references
weakest sufficient condition
0 references
model checking
0 references
