Login / Signup
Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions.
Farn Wang
Published in:
ATVA (2008)
Keyphrases
</>
evaluation method
evaluation model
sufficient conditions
cellular automata
evaluation process
finite state machines
data sets
artificial intelligence
tree automata