An Exploratory Study of Program Metrics as Predictors of Reachability Analysis Performance.

A. T. Chamillard

Published in: ESEC (1995)

Keyphrases

reachability analysis
markov decision processes
model checking
timed automata
computer programs
incremental algorithms
state space
real time
reinforcement learning
natural language
linear programming