Dynamic controllability of temporal networks with instantaneous reaction (Q6205017)
From MaRDI portal
scientific article; zbMATH DE number 7830730
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamic controllability of temporal networks with instantaneous reaction |
scientific article; zbMATH DE number 7830730 |
Statements
Dynamic controllability of temporal networks with instantaneous reaction (English)
0 references
11 April 2024
0 references
conditional simple temporal network with uncertainty and decisions
0 references
timed game automata
0 references
planning and scheduling under uncertainty
0 references
instantaneous reaction
0 references
C++ controller software synthesis
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
