Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. (Q5079782)
From MaRDI portal
scientific article; zbMATH DE number 7533377
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. |
scientific article; zbMATH DE number 7533377 |
Statements
28 May 2022
0 references
temporal networks
0 references
conditional simple temporal problem with uncertainty
0 references
dynamic controllability
0 references
checking algorithm
0 references
Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty. (English)
0 references
