COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (Q3016218)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS |
scientific article |
Statements
COMPUTABLE SEMANTICS FOR <i>CTL*</i> ON DISCRETE-TIME AND CONTINUOUS-SPACE DYNAMIC SYSTEMS (English)
0 references
14 July 2011
0 references
temporal logic
0 references
dynamic systems
0 references
continuous state space
0 references
model checking
0 references
computability
0 references
CTL
0 references
LTL
0 references
\(\text{CTL}^*\)
0 references
0 references
