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