Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (Q3540075)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions |
scientific article |
Statements
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions (English)
0 references
20 November 2008
0 references
timed automaton
0 references
time progress
0 references
model-checking
0 references
TCTL
0 references
convex
0 references
concave
0 references
